[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40771: 26.1: javascript-mode timers persist after closing mode buffe
|
From: |
Dmitry Gutov |
|
Subject: |
bug#40771: 26.1: javascript-mode timers persist after closing mode buffers |
|
Date: |
Mon, 27 Apr 2020 17:52:00 +0300 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 27.04.2020 17:35, Noam Postavsky wrote:
It's a global timer which isn't connected to any particular buffer.
It *could* be tied to inferior-moz-buffer, which the timer has to use.
More importantly, MozRepl has been dead as a project for a number of
years, since Firefox has removed the required functionality.
So me might as well remove all the associated code.