[Gui] Merges the file pango_compat into gtk_compat.
Moves the functions set_font and set_monospace from pango_compat into wutil, as they are independant of the lablgtk version.
Showing
- .gitignore 0 additions, 1 deletion.gitignore
- Makefile 2 additions, 9 deletionsMakefile
- headers/header_spec.txt 0 additions, 3 deletionsheaders/header_spec.txt
- src/plugins/gui/gtk_compat.2.ml 21 additions, 0 deletionssrc/plugins/gui/gtk_compat.2.ml
- src/plugins/gui/gtk_compat.3.ml 22 additions, 0 deletionssrc/plugins/gui/gtk_compat.3.ml
- src/plugins/gui/gtk_compat.mli 5 additions, 0 deletionssrc/plugins/gui/gtk_compat.mli
- src/plugins/gui/pango_compat.2.ml 0 additions, 42 deletionssrc/plugins/gui/pango_compat.2.ml
- src/plugins/gui/pango_compat.3.ml 0 additions, 43 deletionssrc/plugins/gui/pango_compat.3.ml
- src/plugins/gui/pango_compat.mli 0 additions, 38 deletionssrc/plugins/gui/pango_compat.mli
- src/plugins/gui/wutil.ml 6 additions, 1 deletionsrc/plugins/gui/wutil.ml
- src/plugins/gui/wutil_once.ml 1 addition, 1 deletionsrc/plugins/gui/wutil_once.ml
Loading
Please register or sign in to comment