package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Wrappers/Settings/index.html
Module Wrappers.Settings
type t = [ `settings | `object_ ] Gobject.objval reset_property : t -> string -> unitUndoes the effect of calling g_object_set() to install an application-specific value for a setting.
After this call, the setting will again follow the session-wide value for this setting.
val get_gtk_alternative_button_order : t -> boolGet property: gtk-alternative-button-order
val set_gtk_alternative_button_order : t -> bool -> unitSet property: gtk-alternative-button-order
val get_gtk_alternative_sort_arrows : t -> boolGet property: gtk-alternative-sort-arrows
val set_gtk_alternative_sort_arrows : t -> bool -> unitSet property: gtk-alternative-sort-arrows
val get_gtk_application_prefer_dark_theme : t -> boolGet property: gtk-application-prefer-dark-theme
val set_gtk_application_prefer_dark_theme : t -> bool -> unitSet property: gtk-application-prefer-dark-theme
val get_gtk_cursor_aspect_ratio : t -> floatGet property: gtk-cursor-aspect-ratio
val set_gtk_cursor_aspect_ratio : t -> float -> unitSet property: gtk-cursor-aspect-ratio
val get_gtk_cursor_blink : t -> boolGet property: gtk-cursor-blink
val set_gtk_cursor_blink : t -> bool -> unitSet property: gtk-cursor-blink
val get_gtk_cursor_blink_time : t -> intGet property: gtk-cursor-blink-time
val set_gtk_cursor_blink_time : t -> int -> unitSet property: gtk-cursor-blink-time
val get_gtk_cursor_blink_timeout : t -> intGet property: gtk-cursor-blink-timeout
val set_gtk_cursor_blink_timeout : t -> int -> unitSet property: gtk-cursor-blink-timeout
val get_gtk_cursor_theme_name : t -> stringGet property: gtk-cursor-theme-name
val set_gtk_cursor_theme_name : t -> string -> unitSet property: gtk-cursor-theme-name
val get_gtk_cursor_theme_size : t -> intGet property: gtk-cursor-theme-size
val set_gtk_cursor_theme_size : t -> int -> unitSet property: gtk-cursor-theme-size
val get_gtk_decoration_layout : t -> stringGet property: gtk-decoration-layout
val set_gtk_decoration_layout : t -> string -> unitSet property: gtk-decoration-layout
val get_gtk_dialogs_use_header : t -> boolGet property: gtk-dialogs-use-header
val set_gtk_dialogs_use_header : t -> bool -> unitSet property: gtk-dialogs-use-header
val get_gtk_dnd_drag_threshold : t -> intGet property: gtk-dnd-drag-threshold
val set_gtk_dnd_drag_threshold : t -> int -> unitSet property: gtk-dnd-drag-threshold
val get_gtk_double_click_distance : t -> intGet property: gtk-double-click-distance
val set_gtk_double_click_distance : t -> int -> unitSet property: gtk-double-click-distance
val get_gtk_double_click_time : t -> intGet property: gtk-double-click-time
val set_gtk_double_click_time : t -> int -> unitSet property: gtk-double-click-time
val get_gtk_enable_accels : t -> boolGet property: gtk-enable-accels
val set_gtk_enable_accels : t -> bool -> unitSet property: gtk-enable-accels
val get_gtk_enable_animations : t -> boolGet property: gtk-enable-animations
val set_gtk_enable_animations : t -> bool -> unitSet property: gtk-enable-animations
val get_gtk_enable_event_sounds : t -> boolGet property: gtk-enable-event-sounds
val set_gtk_enable_event_sounds : t -> bool -> unitSet property: gtk-enable-event-sounds
val get_gtk_enable_input_feedback_sounds : t -> boolGet property: gtk-enable-input-feedback-sounds
val set_gtk_enable_input_feedback_sounds : t -> bool -> unitSet property: gtk-enable-input-feedback-sounds
val get_gtk_enable_primary_paste : t -> boolGet property: gtk-enable-primary-paste
val set_gtk_enable_primary_paste : t -> bool -> unitSet property: gtk-enable-primary-paste
val get_gtk_entry_password_hint_timeout : t -> intGet property: gtk-entry-password-hint-timeout
val set_gtk_entry_password_hint_timeout : t -> int -> unitSet property: gtk-entry-password-hint-timeout
val get_gtk_entry_select_on_focus : t -> boolGet property: gtk-entry-select-on-focus
val set_gtk_entry_select_on_focus : t -> bool -> unitSet property: gtk-entry-select-on-focus
val get_gtk_error_bell : t -> boolGet property: gtk-error-bell
val set_gtk_error_bell : t -> bool -> unitSet property: gtk-error-bell
val get_gtk_font_name : t -> stringGet property: gtk-font-name
val set_gtk_font_name : t -> string -> unitSet property: gtk-font-name
val get_gtk_fontconfig_timestamp : t -> intGet property: gtk-fontconfig-timestamp
val set_gtk_fontconfig_timestamp : t -> int -> unitSet property: gtk-fontconfig-timestamp
val get_gtk_hint_font_metrics : t -> boolGet property: gtk-hint-font-metrics
val set_gtk_hint_font_metrics : t -> bool -> unitSet property: gtk-hint-font-metrics
val get_gtk_icon_theme_name : t -> stringGet property: gtk-icon-theme-name
val set_gtk_icon_theme_name : t -> string -> unitSet property: gtk-icon-theme-name
val get_gtk_im_module : t -> stringGet property: gtk-im-module
val set_gtk_im_module : t -> string -> unitSet property: gtk-im-module
Get property: gtk-keynav-use-caret
Set property: gtk-keynav-use-caret
val get_gtk_label_select_on_focus : t -> boolGet property: gtk-label-select-on-focus
val set_gtk_label_select_on_focus : t -> bool -> unitSet property: gtk-label-select-on-focus
val get_gtk_long_press_time : t -> intGet property: gtk-long-press-time
val set_gtk_long_press_time : t -> int -> unitSet property: gtk-long-press-time
val get_gtk_overlay_scrolling : t -> boolGet property: gtk-overlay-scrolling
val set_gtk_overlay_scrolling : t -> bool -> unitSet property: gtk-overlay-scrolling
val get_gtk_primary_button_warps_slider : t -> boolGet property: gtk-primary-button-warps-slider
val set_gtk_primary_button_warps_slider : t -> bool -> unitSet property: gtk-primary-button-warps-slider
val get_gtk_print_backends : t -> stringGet property: gtk-print-backends
val set_gtk_print_backends : t -> string -> unitSet property: gtk-print-backends
val get_gtk_print_preview_command : t -> stringGet property: gtk-print-preview-command
val set_gtk_print_preview_command : t -> string -> unitSet property: gtk-print-preview-command
val get_gtk_recent_files_enabled : t -> boolGet property: gtk-recent-files-enabled
val set_gtk_recent_files_enabled : t -> bool -> unitSet property: gtk-recent-files-enabled
val get_gtk_recent_files_max_age : t -> intGet property: gtk-recent-files-max-age
val set_gtk_recent_files_max_age : t -> int -> unitSet property: gtk-recent-files-max-age
Get property: gtk-shell-shows-app-menu
Set property: gtk-shell-shows-app-menu
val get_gtk_shell_shows_desktop : t -> boolGet property: gtk-shell-shows-desktop
val set_gtk_shell_shows_desktop : t -> bool -> unitSet property: gtk-shell-shows-desktop
Get property: gtk-shell-shows-menubar
Set property: gtk-shell-shows-menubar
val get_gtk_show_status_shapes : t -> boolGet property: gtk-show-status-shapes
val set_gtk_show_status_shapes : t -> bool -> unitSet property: gtk-show-status-shapes
val get_gtk_sound_theme_name : t -> stringGet property: gtk-sound-theme-name
val set_gtk_sound_theme_name : t -> string -> unitSet property: gtk-sound-theme-name
val get_gtk_split_cursor : t -> boolGet property: gtk-split-cursor
val set_gtk_split_cursor : t -> bool -> unitSet property: gtk-split-cursor
val get_gtk_theme_name : t -> stringGet property: gtk-theme-name
val set_gtk_theme_name : t -> string -> unitSet property: gtk-theme-name
val get_gtk_titlebar_double_click : t -> stringGet property: gtk-titlebar-double-click
val set_gtk_titlebar_double_click : t -> string -> unitSet property: gtk-titlebar-double-click
val get_gtk_titlebar_middle_click : t -> stringGet property: gtk-titlebar-middle-click
val set_gtk_titlebar_middle_click : t -> string -> unitSet property: gtk-titlebar-middle-click
val get_gtk_titlebar_right_click : t -> stringGet property: gtk-titlebar-right-click
val set_gtk_titlebar_right_click : t -> string -> unitSet property: gtk-titlebar-right-click
val get_gtk_xft_antialias : t -> intGet property: gtk-xft-antialias
val set_gtk_xft_antialias : t -> int -> unitSet property: gtk-xft-antialias
val get_gtk_xft_dpi : t -> intGet property: gtk-xft-dpi
val set_gtk_xft_dpi : t -> int -> unitSet property: gtk-xft-dpi
val get_gtk_xft_hinting : t -> intGet property: gtk-xft-hinting
val set_gtk_xft_hinting : t -> int -> unitSet property: gtk-xft-hinting
val get_gtk_xft_hintstyle : t -> stringGet property: gtk-xft-hintstyle
val set_gtk_xft_hintstyle : t -> string -> unitSet property: gtk-xft-hintstyle
val get_gtk_xft_rgba : t -> stringGet property: gtk-xft-rgba
val set_gtk_xft_rgba : t -> string -> unitSet property: gtk-xft-rgba