Skip to content

Instantly share code, notes, and snippets.

@vrotaru
Created April 1, 2021 14:30
Show Gist options
  • Save vrotaru/7391e4ef4b621f64132a118531c94267 to your computer and use it in GitHub Desktop.
Save vrotaru/7391e4ef4b621f64132a118531c94267 to your computer and use it in GitHub Desktop.
diff --git a/src/gText.mli b/src/gText.mli
index 455b90b3..a29f8d07 100644
--- a/src/gText.mli
+++ b/src/gText.mli
@@ -491,14 +491,12 @@ object ('a)
method populate_popup :
callback:(menu obj -> unit) -> GtkSignal.id
method set_anchor : callback:(unit -> unit) -> GtkSignal.id
- method set_scroll_adjustments :
- callback:(GData.adjustment option -> GData.adjustment option -> unit)
- -> GtkSignal.id
method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
method notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_bottom_margin : callback:(int -> unit) -> GtkSignal.id
method notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id
method notify_editable : callback:(bool -> unit) -> GtkSignal.id
+ method notify_hadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_im_module : callback:(string -> unit) -> GtkSignal.id
method notify_indent : callback:(int -> unit) -> GtkSignal.id
method notify_input_hints :
@@ -516,6 +514,7 @@ object ('a)
method notify_populate_all : callback:(bool -> unit) -> GtkSignal.id
method notify_right_margin : callback:(int -> unit) -> GtkSignal.id
method notify_top_margin : callback:(int -> unit) -> GtkSignal.id
+ method notify_vadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_wrap_mode :
callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id
@@ -551,6 +550,7 @@ object
method get_line_yrange : iter -> int * int
method get_window : Tags.text_window_type -> Gdk.window option
method get_window_type : Gdk.window -> Tags.text_window_type
+ method hadjustment : GData.adjustment
method im_module : string
method indent : int
method input_hints : GtkEnums.input_hints
@@ -591,6 +591,7 @@ object
method set_input_hints : GtkEnums.input_hints -> unit
method set_input_purpose : GtkEnums.input_purpose -> unit
method set_justification : Tags.justification -> unit
+ method set_hadjustment : GData.adjustment -> unit
method set_left_margin : int -> unit
method set_monospace : bool -> unit
method set_overwrite : bool -> unit
@@ -600,9 +601,11 @@ object
method set_populate_all : bool -> unit
method set_right_margin : int -> unit
method set_top_margin : int -> unit
+ method set_vadjustment : GData.adjustment -> unit
method set_wrap_mode : Tags.wrap_mode -> unit
method starts_display_line : iter -> bool
method top_margin : int
+ method vadjustment : GData.adjustment
method visible_rect : Gdk.Rectangle.t
method window_to_buffer_coords :
tag:Tags.text_window_type -> x:int -> y:int -> int * int
diff --git a/src/gTree.mli b/src/gTree.mli
index 89a6d79a..661d326d 100644
--- a/src/gTree.mli
+++ b/src/gTree.mli
@@ -363,9 +363,6 @@ class view_signals : [> tree_view] obj ->
method select_cursor_parent : callback:(unit -> bool) -> GtkSignal.id
method select_cursor_row :
callback:(start_editing:bool -> bool) -> GtkSignal.id
- method set_scroll_adjustments :
- callback:(GData.adjustment option -> GData.adjustment option -> unit) ->
- GtkSignal.id
method start_interactive_search : callback:(unit -> bool) -> GtkSignal.id
method test_collapse_row :
callback:(tree_iter -> tree_path -> bool) -> GtkSignal.id
diff --git a/src/gtkBin.props b/src/gtkBin.props
index 2aa6617a..0bb28489 100644
--- a/src/gtkBin.props
+++ b/src/gtkBin.props
@@ -74,7 +74,6 @@ class Viewport set wrap : Bin {
"hadjustment" GtkAdjustment : Read / Write
"vadjustment" GtkAdjustment : Read / Write
"shadow-type" GtkShadowType : Read / Write
- signal set_scroll_adjustments : GtkAdjustment_opt GtkAdjustment_opt
}
class Expander set wrap wrapsig : Bin {
diff --git a/src/gtkText.props b/src/gtkText.props
index 923e8dc9..b516af24 100644
--- a/src/gtkText.props
+++ b/src/gtkText.props
@@ -22,6 +22,7 @@ class TextView wrap wrapsig : Container {
"cursor-visible" gboolean : Read / Write / Set
"indent" gint : Read / Write
"justification" GtkJustification : Read / Write / Set
+ "hadjustment" GtkAdjustment : Read / Write
"left-margin" gint : Read / Write
"pixels-above-lines" gint : Read / Write
"pixels-below-lines" gint : Read / Write
@@ -39,6 +40,7 @@ class TextView wrap wrapsig : Container {
"overwrite" gboolean : Read / Write
"populate-all" gboolean : Read / Write
"top-margin" gint : Read / Write
+ "vadjustment" GtkAdjustment : Read / Write
signal copy_clipboard
signal cut_clipboard
@@ -50,7 +52,6 @@ class TextView wrap wrapsig : Container {
signal paste_clipboard
signal populate_popup : GtkMenu
signal set_anchor
- signal set_scroll_adjustments : GtkAdjustment_opt GtkAdjustment_opt
signal toggle_overwrite
}
diff --git a/src/gtkTree.props b/src/gtkTree.props
index 7a85af94..523ac8c0 100644
--- a/src/gtkTree.props
+++ b/src/gtkTree.props
@@ -54,7 +54,6 @@ class TreeView set wrap wrapsig : Container {
signal select_all : -> gboolean
signal select_cursor_parent : -> gboolean
signal select_cursor_row : start_editing:gboolean -> gboolean
- signal set_scroll_adjustments : GtkAdjustment_opt GtkAdjustment_opt
signal start_interactive_search : -> gboolean
signal test_collapse_row : GtkTreeIter GtkTreePathCopy -> gboolean
signal test_expand_row : GtkTreeIter GtkTreePathCopy -> gboolean
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment