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 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGINGc4443c2be141: re-work optionsdialog to a tabbed UI based on an ui-file
rSTAGINGc4879a0c2fea: Merge pull request #1444 from laanwj/2012_06_opendebuglog - Branches
- Unknown
- Tags
Merged Changes
Merged Changes