insight_gui.utils.gtk_utils module

insight_gui.utils.gtk_utils.add_css_classes(widget: gi.repository.Gtk.Widget, classes: list)

Add multiple css classes to a GTK.Widget.

insight_gui.utils.gtk_utils.copy_text_to_clipboard(text: str)
insight_gui.utils.gtk_utils.find_str_in_list_store(list_store: gi.repository.Gio.ListStore, string: str) → int

Find a string in a Gio.ListStore and return its index (-1 when not found).

insight_gui.utils.gtk_utils.get_child_by_name(parent_widget, name)

Get the child of a GTK.Widget by its name.

insight_gui.utils.gtk_utils.get_children(widget) → list
insight_gui.utils.gtk_utils.margins_dict(margin: list | int)

Set the margins of a GTK.Widget using a dict.

Options:

  • one value for all

  • 2x list: [top & bottom, right=end & left=start]

  • 3x list: [top, right=end & left=start, bottom]

  • 4x list: [top, right=end, bottom, left=start]

insight_gui.utils.gtk_utils.set_margin(widget: gi.repository.Gtk.Widget, margin: list | int)

Set the margins of a GTK.Widget using a list.

Options:

  • one value for all

  • 2x list: [top & bottom, right=end & left=start]

  • 3x list: [top, right=end & left=start, bottom]

  • 4x list: [top, right=end, bottom, left=start]