Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Changeset 4081 in orxonox.OLD for orxonox/trunk/src/lib/gui


Ignore:
Timestamp:
May 6, 2005, 1:49:33 PM (20 years ago)
Author:
bensch
Message:

orxonox/trunk/gui: looks nicer now :)

Location:
orxonox/trunk/src/lib/gui/gui
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • orxonox/trunk/src/lib/gui/gui/gui_gtk.cc

    r4071 r4081  
    778778  gtk_container_set_border_width(GTK_CONTAINER(this->widget), 3);
    779779#endif /* HAVE_GTK2 */
    780   if (title)
     780  if (frameName)
    781781    this->setTitle(frameName);
    782782}
     
    801801  strcpy(this->title, title);
    802802#ifdef HAVE_GTK2
    803   gtk_frame_set_label(GTK_FRAME(widget), title);
     803  gtk_frame_set_label(GTK_FRAME(widget), this->title);
    804804#endif /* HAVE_GTK2 */
    805805}
  • orxonox/trunk/src/lib/gui/gui/rc

    r4031 r4081  
     1/*
     2 * style <name> [= <name>]
     3 * {
     4 *   <option>
     5 * }
     6 *
     7 * widget <widget_set> style <style_name>
     8 * widget_class <widget_class_set> style <style_name>
     9 *
     10 * Here is a list of all the possible states.  Note that some do not apply to
     11 * certain widgets.
     12 *
     13 * NORMAL - The normal state of a widget, without the mouse over top of
     14 * it, and not being pressed, etc.
     15 *
     16 * PRELIGHT - When the mouse is over top of the widget, colors defined
     17 * using this state will be in effect.
     18 *
     19 * ACTIVE - When the widget is pressed or clicked it will be active, and
     20 * the attributes assigned by this tag will be in effect.
     21 *
     22 * INSENSITIVE - When a widget is set insensitive, and cannot be
     23 * activated, it will take these attributes.
     24 *
     25 * SELECTED - When an object is selected, it takes these attributes.
     26 *
     27 * Given these states, we can set the attributes of the widgets in each of
     28 * these states using the following directives.
     29 *
     30 * fg - Sets the foreground color of a widget.
     31 * bg - Sets the background color of a widget.
     32 * bg_pixmap - Sets the background of a widget to a tiled pixmap.
     33 * base - Sets the base of Widgets
     34 * font - Sets the font to be used with the given widget.
     35*/
     36
     37
     38
    139static const gchar* rc_string =
    2 (       
     40(
     41"style'orxonox'"
     42"{"
     43"fg[NORMAL]      = { 0.0, 1.0, 0.0 }"
     44"fg[PRELIGHT]    = { 0.0, 1.0, 0.0 }"
     45"fg[ACTIVE]      = { 0.0, 1.0, 0.0 }"
     46"fg[INSENSITIVE] = { 0.0, 0.8, 0.0 }"
     47"fg[SELECTED]    = { 0.0, 1.0, 0.0 }"
     48
     49"bg[NORMAL]      = { 0.0, 0.0, 0.0 }"
     50"bg[PRELIGHT]    = { 0.0, 1.0, 0.0 }"
     51"bg[ACTIVE]      = { 0.0, 0.3, 0.0 }"
     52"bg[INSENSITIVE] = { 0.0, 0.1, 0.0 }"
     53"bg[SELECTED]    = { 0.0, 0.1, 0.0 }"
     54
     55"base[NORMAL]      = { 0.0, 1.0, 0.0 }"
     56"base[PRELIGHT]    = { 0.0, 1.0, 0.0 }"
     57"base[ACTIVE]      = { 0.0, 1.0, 0.0 }"
     58"base[INSENSITIVE] = { 0.0, 1.0, 0.0 }"
     59"base[SELECTED]    = { 0.0, 1.0, 0.0 }"
     60
     61"font              = '-adobe-helvetica-medium-r-normal--*-100-*-*-*-*-*-*'"
     62"}"
     63
    364"style'window'"
    465"{"                     
     
    768"base[NORMAL] = { 0, 0, 0 }"
    869"base[INSENSITIVE] = { 0, 0, 0 }"
     70"}"
     71
     72"style'frame'"
     73"{"
     74"bg[NORMAL]  = { 0.0, 0.4, 0.0 }"
    975"}"
    1076
     
    2692"bg[NORMAL] = { 0, 0, 0 }"
    2793"fg[NORMAL] = { 0, 1.0, 0 }"
    28 "bg[INSENSITIVE] = { 1.0, 0, 1.0 }"
    29 "fg[INSENSITIVE] = { 1.0, 0, 1.0 }"
     94"bg[INSENSITIVE] = { 0.0, 0.2, 0.0 }"
     95"fg[INSENSITIVE] = { 0.0, 0.8, 0.0 }"
    3096"base[NORMAL] = { 0, 1.0, 0 }"
    3197"base[PRELIGHT] = { 0, 1.0, 0 }"
     
    55121"}"
    56122
     123"widget'Gtk*'                   style'orxonox'"
     124"widget'*Gtk*Frame*'              style'frame'"
    57125"widget'GtkWindow'              style'window'"
    58 "widget'GtkFrame'               style'window'"
    59 "widget'Gtk*EventBox'           style'window'"
    60 "widget'GtkDialog'              style'window'"
    61126"widget'GtkFileSelection'       style'window'"
    62127"widget'*Gtk*Scale'             style'scale'"
Note: See TracChangeset for help on using the changeset viewer.