diff options
| author | Marius Bakke <[email protected]> | 2017-09-02 15:57:56 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2017-09-02 15:57:56 +0200 |
| commit | 30dfac27a5642c36e7bb1ba7966566864ba2d28d (patch) | |
| tree | 3b59623014eeea1df02cda5f926d803b9a36a828 /gnu/packages/patches/wxwidgets-fix-windowGTK.patch | |
| parent | d2ee294c0400ac8f2a10f10c3c9644da513a3712 (diff) | |
| parent | 65e4109cdc96fbaee088f50d0138af8acef43141 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/patches/wxwidgets-fix-windowGTK.patch')
| -rw-r--r-- | gnu/packages/patches/wxwidgets-fix-windowGTK.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gnu/packages/patches/wxwidgets-fix-windowGTK.patch b/gnu/packages/patches/wxwidgets-fix-windowGTK.patch deleted file mode 100644 index 1255835d01..0000000000 --- a/gnu/packages/patches/wxwidgets-fix-windowGTK.patch +++ /dev/null @@ -1,18 +0,0 @@ -This patch allow Filezilla client to resize window. -The patch was adapted from upstream source repository: -'<http://trac.wxwidgets.org/changeset/4793e5b0a4e189e492287305859b278fed780080/git-wxWidgets>' - ---- a/src/gtk/toplevel.cpp 2014-10-06 16:33:44.000000000 -0500 -+++ b/src/gtk/toplevel.cpp 2017-02-16 21:33:27.779907810 -0600 -@@ -1216,8 +1216,9 @@ - int hints_mask = GDK_HINT_MIN_SIZE | GDK_HINT_MAX_SIZE; - hints.min_width = 1; - hints.min_height = 1; -- hints.max_width = INT_MAX; -- hints.max_height = INT_MAX; -+ // using INT_MAX for size will lead to integer overflow with HiDPI scaling -+ hints.max_width = INT_MAX / 16; -+ hints.max_height = INT_MAX / 16; - const int decorSize_x = m_decorSize.left + m_decorSize.right; - const int decorSize_y = m_decorSize.top + m_decorSize.bottom; - if (minSize.x > decorSize_x) |