[gui] lablgtk 2/3 compatibility layer

.gitignore

Makefile

src/plugins/gui/GSourceView2.ml.in

src/plugins/gui/GSourceView2.mli.in

src/plugins/gui/GSourceView3.ml.in

src/plugins/gui/GSourceView3.mli.in

src/plugins/gui/book_manager.ml

src/plugins/gui/book_manager.mli

src/plugins/gui/design.ml

src/plugins/gui/design.mli

src/plugins/gui/gtk_helper.mli

src/plugins/gui/pretty_source.ml

src/plugins/gui/pretty_source.mli

src/plugins/gui/source_manager.ml

src/plugins/gui/source_manager.mli

src/plugins/gui/source_viewer.ml

src/plugins/gui/source_viewer.mli