mirror of
https://gitlab.gnome.org/GNOME/gimp
synced 2024-10-20 19:43:01 +00:00
09050a7299
2002-03-18 Michael Natterer <mitch@gimp.org> * app/paint/gimppaintoptions.h * app/tools/paint_options.c: put the "Fade Out" and "Gradient" stuff into separate frames with togglebutton titles. * app/widgets/gimpchannellistview.c: use gimp_image_mask_select_channel() instead of reinventing the wheel. * app/widgets/gimpvectorslistview.c: removed unneeded inclusion of "core/gimpimage-mask.h". * app/widgets/gimpcolormapeditor.c: set the hex entry to 7 digits, some cleanup. * app/widgets/gimppaletteeditor.c: set the vertical scrollbar to GTK_POLICY_AUTOMATIC. Added support for configuring some more GUI dimensions using widget class style properties: * app/widgets/gimpdock.c: made "separator_height" work correctly. * app/widgets/gimpdockbook.c: added "tab_height". * app/widgets/gimpeditor.c: added "button_icon_size". * app/widgets/gimpimagedock.c: added "minimal_width". * app/widgets/gimptoolbox.c: added "tool_icon_size". * themes/Default/gtkrc: set the properties to their default values for documentation. * etc/gtkrc_user: added a (commented out) example style which makes lots of things a smaller.
43 lines
931 B
Plaintext
43 lines
931 B
Plaintext
# pixmap_path "<dir 1>:<dir 2>:<dir 3>:..."
|
|
#
|
|
# include "rc-file"
|
|
#
|
|
# style <name> [= <name>]
|
|
# {
|
|
# <option>
|
|
# }
|
|
#
|
|
# widget <widget_set> style <style_name>
|
|
# class <widget_class_set> style <style_name>
|
|
|
|
# You can add your own GIMP-specific GTK styles here.
|
|
|
|
|
|
# Example style for small screens:
|
|
|
|
style "gimp-small-style"
|
|
{
|
|
GimpDock::separator_height = 6
|
|
GimpImageDock::minimal_width = 200
|
|
GimpToolbox::tool_icon_size = menu
|
|
GimpDockbook::tab_border = 0
|
|
GimpDockbook::tab_height = 16
|
|
GimpDockable::content_border = 1
|
|
GimpDockable::content_spacing = 1
|
|
GimpEditor::content_spacing = 1
|
|
GimpEditor::button_spacing = 1
|
|
GimpEditor::button_icon_size = menu
|
|
}
|
|
|
|
# class "GtkWidget" style "gimp-small-style"
|
|
|
|
|
|
# The dock separator is configurable using it's name:
|
|
|
|
style "gimp-blue-separator-style"
|
|
{
|
|
bg[NORMAL] = "#8888aa"
|
|
}
|
|
|
|
# widget "*dock-separator*" style "gimp-blue-separator-style"
|