From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from localhost (71-38-131-64.ptld.qwest.net [71.38.131.64]) by hurricane.the-brannons.com (Postfix) with ESMTPSA id D8BEF783A6 for ; Sun, 20 Sep 2015 01:11:45 -0700 (PDT) From: Chris Brannon To: Edbrowse-dev@lists.the-brannons.com References: <20150820020409.eklhad@comcast.net> Date: Sun, 20 Sep 2015 01:14:45 -0700 In-Reply-To: <20150820020409.eklhad@comcast.net> (Karl Dahlke's message of "Sun, 20 Sep 2015 02:04:09 -0400") Message-ID: <877fnlpkwa.fsf@mushroom.localdomain> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Edbrowse-dev] Notify and Rerender X-BeenThere: edbrowse-dev@lists.the-brannons.com X-Mailman-Version: 2.1.20 Precedence: list List-Id: Edbrowse Development List List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 20 Sep 2015 08:11:46 -0000 Karl Dahlke writes: > and if a rerender hasn't happened in one minute, or some such time interval, > then I force the rerender and tell you what lines have changed. That might work. But perhaps make it toggleable, at least until it is known to work smoothely. Even when it is working smoothely, it might be a good idea to keep forced rerendering toggleable. Yeah, this is a really tricky subject, fraught with traps for the unwary... -- Chris