From: Thomas L. <ta...@ec...> - 2005-03-14 22:14:47
|
On Mon, Mar 14, 2005 at 04:22:59PM -0300, Jonatan Liljedahl wrote: > On Sun, 13 Mar 2005 19:05:00 -0300 > Jonatan Liljedahl <th...@ho...> wrote: > > > It should be easy to manage panels and pinboards by the user, it > > shouldn't be cmdline options to rox but configurable and put in > > ~/Choices/ROX-Filer/Options or something like that! > > I have made a patch for this. It adds entries in ROX-Filer options GUI > for Top,Bottom,Left,Right panels. > ROX-Session's RunROX script should be changed so that "-b Default" > option is removed (this is taken care of by rox itself, as "Default" is > the default value of panel_bottom). A problem with this approach is that the panels appear every time you use 'rox -n'. Also, consider what happens if I ssh into my work machine from home and type 'rox': my work machine's panel will appear over by home machine's one. My plan was: - Make the side a property of the panel (store it in the pan_NAME file). - Replace --top, --bottom, --left and --right with --border (-b ;-) and get it to use the saved size value (new panels appear on any free side). - Give each panel its own options box, with the side in it (and width, style, etc, so these can be per-panel). -- Thomas Leonard http://rox.sourceforge.net tal at ecs.soton.ac.uk tal197 at users.sourceforge.net GPG: 9242 9807 C985 3C07 44A6 8B9A AE07 8280 59A5 3CC1 |