mirror of https://github.com/GNOME/gimp.git
themes/Default/gtkrc s/GimpImageDock/GimpMenuDock/ (Renaming this widget
2005-05-13 Michael Natterer <mitch@gimp.org> * themes/Default/gtkrc * themes/Small/gtkrc: s/GimpImageDock/GimpMenuDock/ (Renaming this widget apparently was an incompatible change, gtkrc-wise, but I think we can live with that...).
This commit is contained in:
parent
7072c33b47
commit
fa133dd63c
|
@ -1,3 +1,10 @@
|
|||
2005-05-13 Michael Natterer <mitch@gimp.org>
|
||||
|
||||
* themes/Default/gtkrc
|
||||
* themes/Small/gtkrc: s/GimpImageDock/GimpMenuDock/ (Renaming this
|
||||
widget apparently was an incompatible change, gtkrc-wise, but I
|
||||
think we can live with that...).
|
||||
|
||||
2005-05-13 Michael Natterer <mitch@gimp.org>
|
||||
|
||||
* app/plug-in/plug-ins-query.c (plug_ins_query): don't crash on
|
||||
|
|
|
@ -39,8 +39,8 @@ style "gimp-default-style"
|
|||
GtkPaned::handle_size = 6
|
||||
GimpDock::separator_height = 6
|
||||
GimpDock::default_height = 300
|
||||
GimpImageDock::minimal_width = 250
|
||||
GimpImageDock::menu_preview_size = button
|
||||
GimpMenuDock::minimal_width = 250
|
||||
GimpMenuDock::menu_preview_size = button
|
||||
GimpToolbox::tool_icon_size = button
|
||||
GimpToolbox::button_relief = none
|
||||
GimpDockbook::tab_border = 0
|
||||
|
|
|
@ -44,8 +44,8 @@ style "gimp-default-style"
|
|||
GtkPaned::handle_size = 5
|
||||
GimpDock::separator_height = 5
|
||||
GimpDock::default_height = 240
|
||||
GimpImageDock::minimal_width = 200
|
||||
GimpImageDock::menu_preview_size = small-toolbar
|
||||
GimpMenuDock::minimal_width = 200
|
||||
GimpMenuDock::menu_preview_size = small-toolbar
|
||||
GimpToolbox::tool_icon_size = menu
|
||||
GimpToolbox::button_relief = none
|
||||
GimpDockbook::tab_border = 0
|
||||
|
|
Loading…
Reference in New Issue