On Sun, Sep 28, 2008 at 08:27:28AM -0400, Jorge Arellano Cid wrote:

On Sun, Sep 28, 2008 at 12:58:17PM +0100, Jeremy Henty wrote:

...

If I add "panel_size=small" to ~/.dillo/dillo2rc then the menubar disappears! Huh? (~/.dillo/dillo2rc is otherwise identical to the default /etc/dill2rc)

Well, more or less that's the idea with tiny, small and medium.

Oh, I see! I was thinking of "the panel" as referring to just the button bar rather than the whole set of controls at the top. It makes more sense now but it's still a little surprising: I would expect a change of size specification to do nothing more than change the size of things, not make some of them disappear.

Whereas it has an inconsistency with the "show_menubar" preference, that's happily ignored by the code.

This should be corrected into a consistent and easy to use model.

I would say that it would be simpler and more consistent to make "show_menubar" the only thing that determines whether the menubar is shown, and make "panel_size" affect nothing except the sizes of things. *If* there's an opportunity for a more radical change before release, why not move the File menubutton into the button bar (perhaps with a vertical divider to set them apart)? IMHO it's very ugly to have the File button sitting all alone at the top, wasting all that precious vertical whitespace for just one button! (That's why I only just noticed the menubar had gone, I normally turn it off anyway.) Regards, Jeremy Henty