[Mldonkey-bugs] [bugs #9123] Can't switch off tab icons

[spiralvoice]

This mail is an automated notification from the bugs tracker
 of the project: mldonkey, a multi-networks file-sharing client.

/**************************************************************************/
[bugs #9123] Latest Modifications:

Changes by: 
                spiralvoice <address@hidden>
'Date: 
                Sat 05/29/2004 at 19:28 (Europe/Berlin)

            What     | Removed                   | Added
---------------------------------------------------------------------------
          Item Group | Feature request           | Program malfunction


------------------ Additional Follow-up Comments ----------------------------
Regarding "Mini icons in toolbars":
for exmaple src/gtk/newgui/gui_servers.ml, line 359-:

    method set_tb_style st =
      if Options.(!!) Gui_options.mini_toolbars then
        (wtool1#misc#hide (); wtool2#misc#show ()) else
        (wtool2#misc#hide (); wtool1#misc#show ());
      wtool1#set_style st;
      wtool2#set_style st;

So wtool1 means big icons and wtool2 small icons, but gui_downloads_base.ml:

  let wtool1 =
    GButton.toolbar ~orientation:`HORIZONTAL ~style:`BOTH ~space_size:2
      ~space_style:`LINE ~tooltips:true ~button_relief:`NONE
      ~packing:(vbox#pack ~expand:false ~fill:true ~padding:2) ()
  in
  let wtool2 =
    GButton.toolbar ~orientation:`HORIZONTAL ~style:`BOTH ~space_size:2
      ~space_style:`LINE ~tooltips:true ~button_relief:`NONE
      ~packing:(vbox#pack ~expand:false ~fill:true ~padding:2) ()

shows no difference to me, maybe small icons are not yet implemented or buggy.








/**************************************************************************/
[bugs #9123] Full Item Snapshot:

URL: <http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9123>
Project: mldonkey, a multi-networks file-sharing client
Submitted by: Sylvain LE GALL
On: Wed 05/26/2004 at 20:53

Category:  GUI
Severity:  5 - Average
Item Group:  Program malfunction
Resolution:  None
Assigned to:  None
Status:  Open
Release:  2-5-21
Release:  
Platform Version:  Linux
Binaries Origin:  Debian package
CPU type:  Intel x86


Summary:  Can't switch off tab icons

Original Submission:  The huge icons on the tabs and elsewhere eat precious 
window-space, so i
would like to switch them off. But neither "Style of toolbars: text" nor
"Mini icons in toolbars" help.

This bug has been submited on debian BTS :
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=250910

Regard
Sylvain Le Gall

Follow-up Comments
------------------


-------------------------------------------------------
Date: Sat 05/29/2004 at 19:28       By: spiralvoice
Regarding "Mini icons in toolbars":
for exmaple src/gtk/newgui/gui_servers.ml, line 359-:

    method set_tb_style st =
      if Options.(!!) Gui_options.mini_toolbars then
        (wtool1#misc#hide (); wtool2#misc#show ()) else
        (wtool2#misc#hide (); wtool1#misc#show ());
      wtool1#set_style st;
      wtool2#set_style st;

So wtool1 means big icons and wtool2 small icons, but gui_downloads_base.ml:

  let wtool1 =
    GButton.toolbar ~orientation:`HORIZONTAL ~style:`BOTH ~space_size:2
      ~space_style:`LINE ~tooltips:true ~button_relief:`NONE
      ~packing:(vbox#pack ~expand:false ~fill:true ~padding:2) ()
  in
  let wtool2 =
    GButton.toolbar ~orientation:`HORIZONTAL ~style:`BOTH ~space_size:2
      ~space_style:`LINE ~tooltips:true ~button_relief:`NONE
      ~packing:(vbox#pack ~expand:false ~fill:true ~padding:2) ()

shows no difference to me, maybe small icons are not yet implemented or buggy.






CC List
-------

CC Address                          | Comment
------------------------------------+-----------------------------
250910 --AT-- bugs --DOT-- debian --DOT-- org | 









For detailed info, follow this link:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9123>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/