diff options
| author | Daniel Carl <danielcarl@gmx.de> | 2014-04-02 23:59:35 +0200 |
|---|---|---|
| committer | Daniel Carl <danielcarl@gmx.de> | 2014-04-02 23:59:35 +0200 |
| commit | 2f71d8c877daf50d0c7e3c02bbd971f4978c758d (patch) | |
| tree | c2fd3855bac1d828c1c38ae75191e9cc00cc258f /src/config.def.h | |
| parent | cdd1aec506ffd7089b8c708e0b8ecac9e4769a85 (diff) | |
| parent | be4b702d181a20ee857502925235fe8cfbc5227c (diff) | |
Merge branch 'fix/high-dpi'
Conflicts:
src/config.def.h
Diffstat (limited to 'src/config.def.h')
| -rw-r--r-- | src/config.def.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/config.def.h b/src/config.def.h index cc0ab33..92bed30 100644 --- a/src/config.def.h +++ b/src/config.def.h @@ -38,6 +38,12 @@ #define FEATURE_HISTORY_INDICATOR /* show wget style progressbar in status bar */ #define FEATURE_WGET_PROGRESS_BAR +#ifdef HAS_GTK3 +/* enables workaround for hight dpi displays */ +/* eventually the environment variable GDK_DPI_SCALE=2.0 must be set */ +/* to get the hack working */ +/* #define FEATURE_HIGH_DPI */ +#endif /* time in seconds after that message will be removed from inputbox if the |