simon-git: putty (master): Simon Tatham

[Commits to Tartarus CVS repository.]

TL;DR:
  2c37bfc GTK 3: tweak margin below the gtkask drawing areas.

Repository:     git://git.tartarus.org/simon/putty.git
On the web:     http://tartarus.org/~simon-git/gitweb/?p=putty.git
Branch updated: master
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2016-04-04 11:53:47

commit 2c37bfca42ec6da329df952dd365d99ca004bcab
web diff http://tartarus.org/~simon-git/gitweb/?p=putty.git;a=commitdiff;h=2c37bfca42ec6da329df952dd365d99ca004bcab;hp=4f904fcd154fccbe99f3e58c4c2c0c3a24976122
Author: Simon Tatham <anakin at pobox.com>
Date:   Mon Apr 4 11:49:05 2016 +0100

    GTK 3: tweak margin below the gtkask drawing areas.
    
    A side effect of commit 1f9df706b seems to have been to squash those
    areas right up against the bottom of the dialog box, which is ugly. I
    don't fully understand why it only happens to those drawing areas and
    not to buttons placed in the fake 'action area' by other dialogs, but
    anyway, adding an explicit margin-bottom attribute seems to solve it.

 unix/gtkask.c |    6 ++++++
 1 file changed, 6 insertions(+)