diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-12 09:34:29 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-12 09:34:58 -0700 |
| commit | 69139782dff1887229c8ac11e330a822938d2419 (patch) | |
| tree | 25809825e4f552be2becc2033aa2d3e33aca011c /qt-ui/mainwindow.ui | |
| parent | 708f19830e2a64c3ab9ef6bfd12a40d7c326870f (diff) | |
| download | subsurface-69139782dff1887229c8ac11e330a822938d2419.tar.gz | |
Planner: update tabstop order again
Robert's commit 708f19830e2a ("Planner: New plannerSettingsWidget")
moved several of the widgets from the maintab area to the new planner
settings widget.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'qt-ui/mainwindow.ui')
0 files changed, 0 insertions, 0 deletions