![]() | ![]() | ![]() | [Insert name here] Reference Manual | ![]() |
---|
gboolean gok_settings_page_keysizespace_initialize (GtkWidget *pWindowSettings); void gok_settings_page_keysizespace_refresh (void); gboolean gok_settings_page_keysizespace_ok (void); gboolean gok_settings_page_keysizespace_revert (void); void gok_settings_page_keysizespace_backup (void); void gok_settings_page_keysizespace_display_keysizespacing (gint KeyWidth, gint KeyHeight, gint Space); void gok_settings_page_keysizespace_set_label_name (GtkWidget *pWidget);
gboolean gok_settings_page_keysizespace_initialize (GtkWidget *pWindowSettings);
pWindowSettings : | |
Returns : |
|
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.
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. |
void gok_settings_page_keysizespace_backup (void);
Copies all the member settings to backup.
void gok_settings_page_keysizespace_display_keysizespacing (gint KeyWidth, gint KeyHeight, gint Space);
Displays the example key size and key spacing.
KeyWidth : | Width of the example keys. |
KeyHeight : | Height of the example keys. |
Space : | Spacing between the example keys. |
void gok_settings_page_keysizespace_set_label_name (GtkWidget *pWidget);
Helper function that sets the 'name' of the button label.
pWidget : |
|
<<< gok-page-feedbacks | gok-page-wordcomplete >>> |