The GTK includes a class gtk.Style which affects the look of widgets in a nice and efficient way. However, I have found no clues on how to modify the style within the application. I am trying to find a tutorial that explains how to use and modify the
gtk.Style objects. There is also a class
gtk.RcStyle, and I'm trying to find out how it relates to gtk.Style.
The related problem is as follows:
I am developing an application that will run on a PDA and it requires some special layouts and looks for the widgets. The PDA has a touch sensitive screen and the application is used by pressing on the display with the finger tips. Because of this I need to make some UI elements really big so that they are easy to click on. I also need to make some customization on the default widgets in order to create an optimal UI. In order to save effort I want the widgets to lay out and respond to interaction in the default way, but I want to entirely control the drawing of the widgets in each of their states. I want to write the entire application in Python.
The question is:
I want to make a vertical scrollbar 40 pixels wide, so that it is easy to use with the finger tips. I find an attribute named
"slider-width" listed in
gtk.Range Style Properties in the GTK class reference. However, in the API reference I find no clue whatsoever on how to manipulate that value, or even in which construct it is stored in or how to read it. I need to know 1) how I can read the "slider-width" property of a gtk.VScrollbar and 2) how can I change the value.