--- On Mon, 12/8/08, corvid <corvid@lavabit.com> wrote:
From: corvid <corvid@lavabit.com> Subject: Re: [Dillo-dev] empty html elements ... and Shift+{Left, Right} change To: dillo-dev@dillo.org Date: Monday, December 8, 2008, 7:39 PM bf wrote:
I'm surprised we don't have a feature to clear image caches/buffers without restart -- or am I missing something?).
I think a good thing is to keep dillo nimble enough that it feels more like a utility than an application. I can open and use instances whenever I need them, much like rxvt (and unlike xterm, which I have to wait for).
Leanness and speed are always nice, but are they and the ability to reduce the size of an existing instance necessarily mutually exclusive? Unless the introduction of a way to empty caches/buffers would require a huge amount of new code, it they don't seem to be. Consider the following scenario: you've opened a number of tabs in one instance, containing content you'd still like to look over. Then you open a few more, and find that the new pages occupy a large amount of memory, which you need for other uses. Right now, you can't close these tabs and clear the cache/buffer to bring the memory footprint back down to a lower level. Sure, you could kill the entire instance and start over, but what about the first set of tabs that you're not done with? You'd have to navigate back to each of them in a new instance, which could take a lot of time. You could mitigate that by bookmarking them, but that still takes time, and then you may have to clean your bookmarks up, and unless you're using a cache other than that of the browser, you'd have to download them again, too. This doesn't seem desirable. Am I missing something?
Another note: I've noticed that with dillo cvs snapshots dated after Nov. 9 there is a regression (or at least a change) in the behavior of Shift+{Left,Right}: in the later snapshots I lose the ability to shift to other tabs with these keys after right-clicking on a link in the current tab with the mouse, and can only regain this ability to shift tabs after opening a new tab with a middle-click on a link in the current tab, or by navigating to an existing tab with the mouse and closing it, or by quickly opening and closing a blank tab with Ctrl+T,Ctrl+Q combination. Any of these methods significantly slows browsing with many tabs open. Was this intended? Is there a new dillorc option to control this behavior, or some new key/mouse controls that I missed?
Hmmm. I must have broken it with http://cvs.auriga.wearlab.de/cgi-bin/cvsweb.cgi/dillo2/dw/fltkviewbase.cc.di...
A voice offstage right: "Shame! Shame!"