September 2011 - Dillo-dev - lists.mailman3.com

Close dillo with multiple tabs open

by obeythepenguin＠gmail.com

On Sat, 17 Sep 2011 01:04:49 -0400, corvid <corvid at lavabit.com> wrote: > Just occurred to me that everyone's been saying that they don't need this > dialog box. I checked firefox and it doesn't warn when quitting. Maybe we > don't need it at all. Of course, Firefox has the ability to restore the last open session when it starts up; accidentally quitting isn't so bad when you can just restart and resume where you left off. (Out of curiosity, does it do that by default?) Speaking of restoring sessions, one of my own users had the very clever idea to implement that feature using bookmarks -- save all the open tabs in a certain bookmarks section, then load all the bookmarks in that section on startup. I haven't coded it yet, but I wanted to share since it was such a neat solution to that problem. Cheers, ~Benjamin

Sept. 17, 2011

Close dillo with multiple tabs open

by Johannes.Hofmann＠gmx.de

On Sat, Sep 17, 2011 at 05:04:49AM +0000, corvid wrote: > Roger wrote: > > >> > you mean, "confirm to exit prompt". Ditto. Rarely, if ever accidentally quit. > > >> > > >> I wasn't sure what my opinion was on this at first, but now I think an > > >> option sounds reasonable. > > > > > >Why not, if there is demand for it and the default is safe > > >(i.e. off). > > > > Ditto. I've never accidentally quit. > > > > Oh, I've used File > Quit once in a while, but with that many key sequences or > > clicks, it's tough to accidentally quit. Also, few options under the File > > menu. Most times, I just halt -p. > > Just occurred to me that everyone's been saying that they don't need this > dialog box. I checked firefox and it doesn't warn when quitting. Maybe we > don't need it at all. Safari has it and given the fact that we only recently switched from Ctrl-Q to Crtl-W for closing tabs, people might accidentally hit Ctrl-Q when they want to close just the tab. It happend to me at least. So for now I would keep it. Cheers, Johannes

Sept. 17, 2011

Close dillo with multiple tabs open

by corvid＠lavabit.com

Roger wrote: > >> > you mean, "confirm to exit prompt". Ditto. Rarely, if ever accidentally quit. > >> > >> I wasn't sure what my opinion was on this at first, but now I think an > >> option sounds reasonable. > > > >Why not, if there is demand for it and the default is safe > >(i.e. off). > > Ditto. I've never accidentally quit. > > Oh, I've used File > Quit once in a while, but with that many key sequences or > clicks, it's tough to accidentally quit. Also, few options under the File > menu. Most times, I just halt -p. Just occurred to me that everyone's been saying that they don't need this dialog box. I checked firefox and it doesn't warn when quitting. Maybe we don't need it at all.

Sept. 17, 2011

Close dillo with multiple tabs open

by rogerx.oss＠gmail.com

>> > you mean, "confirm to exit prompt". Ditto. Rarely, if ever accidentally quit. >> >> I wasn't sure what my opinion was on this at first, but now I think an >> option sounds reasonable. > >Why not, if there is demand for it and the default is safe >(i.e. off). Ditto. I've never accidentally quit. Oh, I've used File > Quit once in a while, but with that many key sequences or clicks, it's tough to accidentally quit. Also, few options under the File menu. Most times, I just halt -p. -- Roger http://rogerx.freeshell.org/

Sept. 17, 2011

system colors

by corvid＠lavabit.com

Here's one with preferences as well as some code to ensure that FL_SELECTION_COLOR has contrast:

Sept. 17, 2011

dillo-3.0-rc2 is out

by obeythepenguin＠gmail.com

On Fri, 16 Sep 2011 16:04:47 -0400, corvid <corvid at lavabit.com> wrote: > Since the consensus seems to be rectangles, I changed them to rectangles. > > As for color, it does seem that plastic vs regular have somewhat > different > ideas about button coloration. Guess I'll try to make it > greenish-and-grayish > again... The thing that bothers me most about the tabs isn't the shape, but the lack of padding. Adding a couple pixels to the tab height drastically improves the appearance and readability. And it's probably better to use the system colors for tabs, since green-and-gray could clash with someone's desktop. (Although I *do* like that particular shade of green.) ~Benjamin

Sept. 16, 2011

dillo-3.0-rc2 is out

by Johannes.Hofmann＠gmx.de

On Thu, Sep 15, 2011 at 07:35:28PM +0000, corvid wrote: > Jorge wrote: > > OK, but current-tree tabs looks ugly (IMHO) here: > > > > http://www.dillo.org/test/dillo-tabs.png > > > > when compared with (previous): > > > > http://www.dillo.org/screenshots/source.png > > > > > > please don't leave it that way. > > We could use, or borrow from, Benjamin's tabs diff mentioned in > http://lists.auriga.wearlab.de/pipermail/dillo-dev/2011-September/008896.ht… > > Any opinions? For now I would just put back the hardcoded FL_PLASTIC_ROUND_UP_BOX. It looks so much better even if it would be nice to have the tabs also themeable. Cheers, Johannes

Sept. 16, 2011

dillo-3.0-rc2 is out

by corvid＠lavabit.com

Rogut?s wrote: > Jorge Arellano Cid (2011-09-15 16:07): > <...> > > OK, but current-tree tabs looks ugly (IMHO) here: > > > > http://www.dillo.org/test/dillo-tabs.png > > > > when compared with (previous): > > > > http://www.dillo.org/screenshots/source.png > > > > > > please don't leave it that way. > > In my humble opinion, rounded tabs do not fit in with the rest of the > rectangular theme (but I agree that tabs in the second screenshot look > better). Since the consensus seems to be rectangles, I changed them to rectangles. As for color, it does seem that plastic vs regular have somewhat different ideas about button coloration. Guess I'll try to make it greenish-and-grayish again...

Sept. 16, 2011

Close dillo with multiple tabs open

by Johannes.Hofmann＠gmx.de

On Wed, Sep 14, 2011 at 10:28:59PM +0000, corvid wrote: > Roger wrote: > > > On Sat, Sep 10, 2011 at 10:25:43AM +0200, Alexander Voigt wrote: > > >Another question here: Please tell me if I'm wrong, but there seems to > > >be no dillorc option to omit the mentioned popup window completely. > > >Do you think it would be convenient to have one? > > > > you mean, "confirm to exit prompt". Ditto. Rarely, if ever accidentally quit. > > I wasn't sure what my opinion was on this at first, but now I think an > option sounds reasonable. Why not, if there is demand for it and the default is safe (i.e. off). Cheers, Johannes

Sept. 16, 2011

Preferences GUI

by itsme_410＠yahoo.com

--- On Thu, 9/15/11, Benjamin Johnson <obeythepenguin at gmail.com> wrote: > From: Benjamin Johnson <obeythepenguin at gmail.com> > Subject: [Dillo-dev] Preferences GUI > To: "dillo-dev at dillo.org" <dillo-dev at dillo.org> > Date: Thursday, September 15, 2011, 9:53 PM > Hello again, > > I've finally updated my preferences GUI patch for Dillo > 3.0.? (It's 2011 -- nobody should have to manually edit > configuration files, especially for a graphical > program!)? If you want to try it out, here it is: > ? http://dillo-win32.sourceforge.net/patches/33-prefsgui.diff > > And here's some screenshots: > ? http://dillo-win32.sourceforge.net/dillo/screenshots.php?closeup=Z08-dillo3… The screenshot looks very good! Thanks! T

Sept. 16, 2011