diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-07-04 11:55:45 +0900 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-07-04 17:21:23 +0900 |
| commit | 774e9ae143d2b790a28be541ab0d99925ba1e281 (patch) | |
| tree | 143f733716b1dd0aff1825bdd182e484fe69058c /INSTALL | |
| parent | da0d6af410e333e7d00a078ed5f40dc745def634 (diff) | |
| download | subsurface-774e9ae143d2b790a28be541ab0d99925ba1e281.tar.gz | |
Desktop: reduce minimum vertical size
The Filter widget really needed to be scrollable as it is very tall.
Fixes #2152
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions