Merge pull request #1433 from Diapolo/tabbed_optionsdialog
GUI: re-work current options dialog to a tabbed layout and use an UI-file
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Jun 13 2012, 14:37 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCc4443c2be141: re-work optionsdialog to a tabbed UI based on an ui-file
rABCc4879a0c2fea: Merge pull request #1444 from laanwj/2012_06_opendebuglog - Branches
- Unknown
- Tags
Merged Changes
Merged Changes