Package chamo.3.0

[zoggy]

chamo.3.0

Chamo is a source code editor, even if it can be used to edit any text file

---

• Homepage: https://zoggy.frama.io/chamo
• Source repo: git+https://framagit.org/zoggy/chamo.git
• Bug tracker: https://framagit.org/zoggy/chamo/issues

---

🐫 Pull-request generated by opam-publish v2.0.3

[kit-ty-kate]

This package fails with:

# File "ed_minibuffer.ml", line 254, characters 33-37:
# 254 |       let (w,_) = get_size_chars view in
#                                        ^^^^
# Error: This expression has type
#          GSourceView3.source_view =
#            < accepts_tab : bool;
#              add_child_at_anchor : GObj.widget -> GText.child_anchor -> unit;
#              add_child_in_window : child:GObj.widget ->
#                                    which_window:Gtk.Tags.text_window_type ->
#                                    x:int -> y:int -> unit;
#              app_paintable : bool; as_view : Gtk.text_view Gtk.obj;
#              as_widget : Gtk.widget Gtk.obj; auto_indent : bool;
#              backward_display_line : GText.iter -> bool;
#              backward_display_line_start : GText.iter -> bool;
#              bottom_margin : int; buffer : GText.buffer;
#              buffer_to_window_coords : tag:Gtk.Tags.text_window_type ->
#                                        x:int -> y:int -> int * int;
#              can_default : bool; can_focus : bool; coerce : GObj.widget;
#              completion : GSourceView3.source_completion;
#              composite_child : bool;
#              connect : GSourceView3.source_view_signals;
#              cursor_visible : bool; destroy : unit -> unit;
#              drag : GObj.drag_ops;
#              draw_spaces : SourceView3Enums.source_draw_spaces_flags list;
#              editable : bool; event : GObj.event_ops;
#              events : GdkEnums.event_mask list; expand : bool;
#              focus_on_click : bool;
#              forward_display_line : GText.iter -> bool;
#              forward_display_line_end : GText.iter -> bool;
#              get_border_window_size : [ `BOTTOM | `LEFT | `RIGHT | `TOP ] ->
#                                       int;
#              get_iter_at_location : x:int -> y:int -> GText.iter;
#              get_iter_location : GText.iter -> Gdk.Rectangle.t;
#              get_line_at_y : int -> GText.iter * int;
#              get_line_yrange : GText.iter -> int * int;
#              get_mark_attributes : category:string ->
#                                    GSourceView3.source_mark_attributes option;
#              get_mark_priority : category:string -> int; get_oid : int;
#              get_window : Gtk.Tags.text_window_type -> Gdk.window option;
#              get_window_type : Gdk.window -> Gtk.Tags.text_window_type;
#              halign : GtkEnums.align; has_default : bool; has_focus : 
#              bool; has_tooltip : bool; height_request : int; hexpand : 
#              bool; hexpand_set : bool; highlight_current_line : bool;
#              im_module : string; indent : int; indent_on_tab : bool;
#              indent_width : int; input_hints : GtkEnums.input_hints;
#              input_purpose : GtkEnums.input_purpose;
#              insert_spaces_instead_of_tabs : bool; is_focus : bool;
#              justification : Gtk.Tags.justification; left_margin : int;
#              margin : int; margin_bottom : int; margin_end : int;
#              margin_left : int; margin_right : int; margin_start : int;
#              margin_top : int; misc : GObj.misc_ops; monospace : bool;
#              move_child : child:GObj.widget -> x:int -> y:int -> unit;
#              move_mark_onscreen : GText.mark -> bool;
#              move_visually : GText.iter -> int -> bool; name : string;
#              no_show_all : bool; opacity : float; overwrite : bool;
#              parent : Gtk.container Gtk.obj option; pixels_above_lines : 
#              int; pixels_below_lines : int; pixels_inside_wrap : int;
#              place_cursor_onscreen : unit -> bool; populate_all : bool;
#              receives_default : bool; right_margin : int;
#              right_margin_position : int; scale_factor : int;
#              scroll_mark_onscreen : GText.mark -> unit;
#              scroll_to_iter : ?within_margin:float ->
#                               ?use_align:bool ->
#                               ?xalign:float ->
#                               ?yalign:float -> GText.iter -> bool;
#              scroll_to_mark : ?within_margin:float ->
#                               ?use_align:bool ->
#                               ?xalign:float ->
#                               ?yalign:float -> GText.mark -> unit;
#              sensitive : bool; set_accepts_tab : bool -> unit;
#              set_app_paintable : bool -> unit;
#              set_auto_indent : bool -> unit;
#              set_border_window_size : typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] ->
#                                       size:int -> unit;
#              set_bottom_margin : int -> unit;
#              set_buffer : GText.buffer -> unit;
#              set_can_default : bool -> unit; set_can_focus : bool -> unit;
#              set_cursor_color : Gdk.color -> unit;
#              set_cursor_visible : bool -> unit;
#              set_draw_spaces : SourceView3Enums.source_draw_spaces_flags list ->
#                                unit;
#              set_editable : bool -> unit;
#              set_events : GdkEnums.event_mask list -> unit;
#              set_expand : bool -> unit; set_focus_on_click : bool -> unit;
#              set_halign : GtkEnums.align -> unit;
#              set_has_default : bool -> unit; set_has_focus : bool -> unit;
#              set_has_tooltip : bool -> unit;
#              set_height_request : int -> unit; set_hexpand : bool -> unit;
#              set_hexpand_set : bool -> unit;
#              set_highlight_current_line : bool -> unit;
#              set_im_module : string -> unit; set_indent : int -> unit;
#              set_indent_on_tab : bool -> unit;
#              set_indent_width : int -> unit;
#              set_input_hints : GtkEnums.input_hints -> unit;
#              set_input_purpose : GtkEnums.input_purpose -> unit;
#              set_insert_spaces_instead_of_tabs : bool -> unit;
#              set_is_focus : bool -> unit;
#              set_justification : Gtk.Tags.justification -> unit;
#              set_left_margin : int -> unit; set_margin : int -> unit;
#              set_margin_bottom : int -> unit; set_margin_end : int -> unit;
#              set_margin_left : int -> unit; set_margin_right : int -> unit;
#              set_margin_start : int -> unit; set_margin_top : int -> unit;
#              set_mark_attributes : category:string ->
#                                    GSourceView3.source_mark_attributes ->
#                                    int -> unit;
#              set_monospace : bool -> unit; set_name : string -> unit;
#              set_no_show_all : bool -> unit; set_opacity : float -> unit;
#              set_overwrite : bool -> unit;
#              set_parent : Gtk.container Gtk.obj option -> unit;
#              set_pixels_above_lines : int -> unit;
#              set_pixels_below_lines : int -> unit;
#              set_pixels_inside_wrap : int -> unit;
#              set_populate_all : bool -> unit;
#              set_receives_default : bool -> unit;
#              set_right_margin : int -> unit;
#              set_right_margin_position : int -> unit;
#              set_sensitive : bool -> unit;
#              set_show_line_marks : bool -> unit;
#              set_show_line_numbers : bool -> unit;
#              set_show_right_margin : bool -> unit;
#              set_smart_home_end : SourceView3Enums.source_smart_home_end_type ->
#                                   unit;
#              set_style : Gtk.style -> unit; set_tab_width : int -> unit;
#              set_tooltip_markup : string -> unit;
#              set_tooltip_text : string -> unit; set_top_margin : int -> unit;
#              set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit;
#              set_vexpand_set : bool -> unit; set_visible : bool -> unit;
#              set_width_request : int -> unit;
#              set_wrap_mode : Gtk.Tags.wrap_mode -> unit;
#              show_line_marks : bool; show_line_numbers : bool;
#              show_right_margin : bool;
#              smart_home_end : SourceView3Enums.source_smart_home_end_type;
#              source_buffer : GSourceView3.source_buffer;
#              starts_display_line : GText.iter -> bool; style : Gtk.style;
#              tab_width : int; tooltip_markup : string; tooltip_text : 
#              string; top_margin : int; valign : GtkEnums.align;
#              vexpand : bool; vexpand_set : bool; visible : bool;
#              visible_rect : Gdk.Rectangle.t; width_request : int;
#              window_to_buffer_coords : tag:Gtk.Tags.text_window_type ->
#                                        x:int -> y:int -> int * int;
#              wrap_mode : Gtk.Tags.wrap_mode >
#        but an expression was expected of type
#          < misc : < allocated_height : int; allocated_width : int;
#                     pango_context : GPango.context; .. >
#                   as 'b;
#            .. >
#        Type
#          GObj.misc_ops =
#            < activate : unit -> bool;
#              add_accelerator : 'a.
#                                  sgn:('a, unit -> unit) GtkSignal.t ->
#                                  group:Gtk.accel_group ->
#                                  ?modi:Gdk.Tags.modifier list ->
#                                  ?flags:Gtk.Tags.accel_flag list ->
#                                  Gdk.keysym -> unit;
#              add_selection_target : target:string ->
#                                     ?info:int -> Gdk.atom -> unit;
#              allocation : Gtk.rectangle;
#              clear_selection_targets : Gdk.atom -> unit;
#              connect : GObj.misc_signals;
#              convert_selection : target:string ->
#                                  ?time:int32 -> Gdk.atom -> bool;
#              create_pango_context : GPango.context;
#              disconnect : GtkSignal.id -> unit; draw : Gdk.cairo -> unit;
#              freeze_notify : unit -> unit; get_oid : int;
#              get_property : string -> Gobject.data_get; get_type : string;
#              grab_default : unit -> unit; grab_focus : unit -> unit;
#              grab_selection : ?time:int32 -> Gdk.atom -> bool;
#              handler_block : GtkSignal.id -> unit;
#              handler_unblock : GtkSignal.id -> unit; has_tooltip : bool;
#              hide : unit -> unit;
#              intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option;
#              is_ancestor : GObj.widget -> bool; map : unit -> unit;
#              modify_base : (Gtk.Tags.state_type * GDraw.color) list -> unit;
#              modify_bg : (Gtk.Tags.state_type * GDraw.color) list -> unit;
#              modify_fg : (Gtk.Tags.state_type * GDraw.color) list -> unit;
#              modify_font : GPango.font_description -> unit;
#              modify_font_by_name : string -> unit;
#              modify_text : (Gtk.Tags.state_type * GDraw.color) list -> unit;
#              name : string; pango_context : GPango.context;
#              parent : GObj.widget option; pointer : int * int;
#              queue_draw : unit -> unit;
#              queue_draw_area : int -> int -> int -> int -> unit;
#              realize : unit -> unit;
#              remove_accelerator : group:Gtk.accel_group ->
#                                   ?modi:Gdk.Tags.modifier list ->
#                                   Gdk.keysym -> unit;
#              render_icon : size:Gtk.Tags.icon_size ->
#                            GtkStock.id -> GdkPixbuf.pixbuf;
#              reparent : GObj.widget -> unit; sensitive : bool;
#              set_app_paintable : bool -> unit;
#              set_can_default : bool -> unit; set_can_focus : bool -> unit;
#              set_double_buffered : bool -> unit;
#              set_has_tooltip : bool -> unit; set_name : string -> unit;
#              set_property : 'a. string -> 'a Gobject.data_set -> unit;
#              set_sensitive : bool -> unit;
#              set_size_chars : ?desc:GPango.font_description ->
#                               ?lang:string ->
#                               ?width:int -> ?height:int -> unit -> unit;
#              set_size_request : ?width:int -> ?height:int -> unit -> unit;
#              set_style : GObj.style -> unit;
#              set_tooltip_markup : string -> unit;
#              set_tooltip_text : string -> unit; show : unit -> unit;
#              show_all : unit -> unit; style : GObj.style;
#              thaw_notify : unit -> unit; tooltip_markup : string;
#              tooltip_text : string; toplevel : GObj.widget;
#              unmap : unit -> unit; unparent : unit -> unit;
#              unrealize : unit -> unit; visible : bool; visual : Gdk.visual;
#              visual_depth : int; window : Gdk.window >
#        is not compatible with type
#          < allocated_height : int; allocated_width : int;
#            pango_context : GPango.context; .. >
#          as 'b 
#        The first object type has no method allocated_height
# make[1]: *** [../master.Makefile:81: ed_minibuffer.cmx] Error 2
# rm ed_ocaml_lexer.ml
# make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/chamo.3.0/src'
# make: *** [Makefile:33: src] Error 2

[zoggy]

Indeed, these methods are yet not available. I'm waiting for this PR to be accepted: garrigue/lablgtk#128 . Let's close this opam PR now and I'll make a new release with updated constraints on lablgtk when a new release include my proposed changes.