Details
gok_settings_page_keysizespace_initialize ()
gboolean gok_settings_page_keysizespace_initialize
(GtkWidget *pWindowSettings); |
gok_settings_page_keysizespace_refresh ()
void gok_settings_page_keysizespace_refresh
(void); |
Refreshes the key size and key spacing controls on the key size/spacing page
from the gok_data.
gok_settings_page_keysizespace_ok ()
gboolean gok_settings_page_keysizespace_ok
(void); |
gok_settings_page_keysizespace_revert ()
gboolean gok_settings_page_keysizespace_revert
(void); |
Revert to the backup settings for this page and store them in the gok_data.
Returns : | TRUE if any of the settings have changed, FALSE
if they are all still the same. |
gok_settings_page_keysizespace_backup ()
void gok_settings_page_keysizespace_backup
(void); |
Copies all the member settings to backup.
gok_settings_page_keysizespace_display_keysizespacing ()
void gok_settings_page_keysizespace_display_keysizespacing
(gint KeyWidth,
gint KeyHeight,
gint Space); |
Displays the example key size and key spacing.
gok_settings_page_keysizespace_set_label_name ()
void gok_settings_page_keysizespace_set_label_name
(GtkWidget *pWidget); |
Helper function that sets the 'name' of the button label.