From: <ke...@ya...> - 2004-03-26 14:13:33
|
--- Thomas Leonard <ta...@ec...> wrote: > On Fri, Mar 26, 2004 at 11:07:13PM +1100, Tristan > McLeay wrote: > [...] > > The ROX panel asks for a few pixels on the edge; > this > > means you get the best implementation of auto-hide > > possible (visible when not covered rather then the > > disappearing Windows thing). If pointing to its > border > > doesn't bring it up front, you have a problem. > > Otherwise make a suggestion to Thomas, but the > Filer > > already has a lot of options... > > Not in the panel section, though... ;-) True, true, and I was even thinking (and I think you've thought aloud) that it could be even less of an issue if the panel options were separate from the filer-qua-filer options. I suspect we all need to sit down and (re)think about how the ROX-in-general options should be dealt with. > Should it be a toggle ("Don't cover panel") or a > slider ("Fraction of panel > to cover")? I'm voting for an option. I don't seem much use in a slider. If you have it covering half, it'll look all ugly and untidy. > Anyway, feel free to send a patch... I just about have something, but my C/GTK/ROX isn't brilliant... How do I know how wide/tall the panel is? (I would've thought panel->window->allocation.height (width), but apparently not: I get a border many times larger than I want!) (The panel_width option is of course unreliable because it's only a guideline.) -- Tristan. Find local movie times and trailers on Yahoo! Movies. http://au.movies.yahoo.com |