On Sat, Apr 16, 2011 at 09:59:03AM -0700, Andrew Harris wrote:
On Sat, Apr 16, 2011 at 8:04 AM, Jorge Arellano Cid <jcid@dillo.org> wrote:
Hi there,
?Does anybody use "panel_size=large" in dillorc?
?I'd like to remove the option in the 1.3 branch, and keep tiny, small and medium.
Like Rob, I only just now knew about this. I agree with your decision, if there's only one pulldown menu, why have it on a separate bar?
Kind of confused as to why it's called "File" though. I realize that's common for the first pulldown menu to be called 'File', but it doesn't make a whole lot of sense here. Why not just "Menu" like Opera?
Could be. It may be a matter of taste too. IMO, lots of people have the "File" menu hardcoded in their brains. Now, if we manage to make the widget printing feature of fltk-1.3 work in dillo, it could make good sense to add it under a "Menu" label instead of "File". Comments? -- Cheers Jorge.-