GTK: Fix fetching the frame border width on GTK 3.20
commitead0e9ee5fb6d0242a729f86991c16979ff90fae
authorColomban Wendling <ban@herbesfolles.org>
Wed, 27 Apr 2016 14:01:17 +0000 (27 16:01 +0200)
committerColomban Wendling <ban@herbesfolles.org>
Mon, 2 May 2016 13:19:26 +0000 (2 15:19 +0200)
tree6a5c06bb964b863efbae0f5350e9923804daae3e
parent28a99f8188724a999f74751501c1e223c2d61a7f
GTK: Fix fetching the frame border width on GTK 3.20

GTK 3.20 introduced a sub-node named "border" to the frame, requiring
to lookup the border on that sub-node rather than on the frame itself.

Unfortunately supporting this requires to be built against GTK 3.20, as
it requires API this version introduced.  This means that a build
against an older version won't be able to get the popup sizing right if
running on 3.20.  To mitigate this, add reasonable fallback defaults
when running 3.20 but built on an earlier version, to try and avoid

X-Scintilla-Bug-URL: https://sourceforge.net/p/scintilla/bugs/1825/
X-Scintilla-Commit-ID: 83d56b1fc63a206e4c1b776f5991b3b17ccb3473
2px-scrolling on GTK 3.20's default theme.
scintilla/gtk/PlatGTK.cxx