diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2013-03-03 20:30:04 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2013-03-03 11:56:51 -0800 |
| commit | 9fcb28a6f5f5b9c3dcc6a6f40760cbe18f31f76f (patch) | |
| tree | 2dfc81cb84ae5312acaa9a6b7f9e2bfba04022a6 /gpl-2.0.txt | |
| parent | 0e7f0cc1ed98633ae3e8b855fc7a5051d3e37d42 (diff) | |
| download | subsurface-9fcb28a6f5f5b9c3dcc6a6f40760cbe18f31f76f.tar.gz | |
Fix pane position bug
Argh. Maxint is not at the bottom or at the right. We have to check
against the size of the window to determine we are not saving a maximized
position. Here is a fix.
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'gpl-2.0.txt')
0 files changed, 0 insertions, 0 deletions