src/plugins/gui · 48691b0e18c576adb1596f1871e412b4f648a67a · pub / frama-c · GitLab

Snippets Groups Projects

Merge branch 'fix/andre/gui-cursor-wsl-wayland-lablgtk3' into 'master'

Loïc Correnson authored 3 years ago

[Gui] change cursor to avoid issues under WSLg

See merge request frama-c/frama-c!3483

7cae75b2

7cae75b2 3 years ago

Name	Last commit	Last update
..
GSourceView2.ml.in
GSourceView2.mli.in
GSourceView3.ml.in
GSourceView3.mli.in
analyses_manager.ml
analyses_manager.mli
book_manager.ml
book_manager.mli
debug_manager.mli
debug_manager.yes.ml
design.ml
design.mli
dgraph_helper.mli
dgraph_helper.no.ml
dgraph_helper.yes.ml
file_manager.ml
file_manager.mli
filetree.ml
filetree.mli
gtk_compat.2.ml
gtk_compat.3.ml
gtk_compat.mli
gtk_form.ml
gtk_form.mli
gtk_helper.ml
gtk_helper.mli
gui_parameters.ml
gui_parameters.mli
gui_printers.ml
gui_printers.mli
help_manager.ml
help_manager.mli
history.ml
history.mli
launcher.ml
launcher.mli
menu_manager.ml
menu_manager.mli
pretty_source.ml
pretty_source.mli
project_manager.ml
project_manager.mli
property_navigator.ml
property_navigator.mli
source_manager.ml
source_manager.mli
source_viewer.ml
source_viewer.mli
warning_manager.ml
warning_manager.mli
wbox.ml
wbox.mli
wfile.ml
wfile.mli
widget.ml
widget.mli
wpalette.ml
wpalette.mli
wpane.ml
wpane.mli
wtable.ml
wtable.mli
wtext.ml
wtext.mli
wutil.ml
wutil.mli
wutil_once.ml
wutil_once.mli