diff options
| author | Robert Pluim <rpluim@gmail.com> | 2019-11-13 15:19:04 +0100 |
|---|---|---|
| committer | Robert Pluim <rpluim@gmail.com> | 2019-11-14 10:23:37 +0100 |
| commit | ca44f33be2e2c91dad4037c730408b2b1d4529dd (patch) | |
| tree | 4debce43ee5ff4b755a9cb84b75a855460edc17b /src/gtkutil.h | |
| parent | 4f45e89852129db6a3026187768c6ba5b30c39fe (diff) | |
| download | emacs-ca44f33be2e2c91dad4037c730408b2b1d4529dd.tar.gz | |
Make GTK font chooser respect face-ignored-fonts
* src/font.c (font_delete_unmatched): Move Vface_ignored_fonts
matching to...
(font_is_ignored): ..Here. New function.
* src/gtkutil.c (xg_font_filter): New function, uses font_is_ignored
to filter fonts.
(xg_get_font): Set GTK font chooser filter to xg_font_filter.
* src/gtkutil.h: Add prototype for font_is_ignored.
Diffstat (limited to 'src/gtkutil.h')
| -rw-r--r-- | src/gtkutil.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/gtkutil.h b/src/gtkutil.h index 229aa08f817..a059f532197 100644 --- a/src/gtkutil.h +++ b/src/gtkutil.h @@ -203,5 +203,10 @@ extern void xg_initialize (void); extern bool xg_ignore_gtk_scrollbar; extern bool xg_gtk_initialized; + +#if GTK_CHECK_VERSION (3, 2, 0) +extern bool font_is_ignored (const char *, ptrdiff_t); +#endif + #endif /* USE_GTK */ #endif /* GTKUTIL_H */ |