diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-10-30 13:14:06 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-10-30 13:14:06 -0700 |
| commit | 9eed778c68f72862b27695bee8b4dd1ba553bdc2 (patch) | |
| tree | aef5166c1829cfee83a9f57f5eeeea5ad39b62e3 /.gitignore | |
| parent | 8dad3457ef1f412517c4d81f08ebd14680788ec3 (diff) | |
| download | subsurface-9eed778c68f72862b27695bee8b4dd1ba553bdc2.tar.gz | |
Preferences: switch language preference to be a dropdown
The list widget takes too much space and isn't really any better. The
dropdown plus fliter is actually rather neat.
Also added back the connections so the dropdown and filter get disabled
when system default is selected (just as it was in the old preferences
dialog).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions