[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-bugs] [bugs #9123] Can't switch off tab icons
From: |
spiralvoice |
Subject: |
[Mldonkey-bugs] [bugs #9123] Can't switch off tab icons |
Date: |
Sat, 29 May 2004 15:39:00 -0400 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; de-AT; rv:1.6) Gecko/20040323 |
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/