diff options
| author | Jean-Philippe Bruyère <jp_bruyere@hotmail.com> | 2020-01-12 03:54:39 +0100 |
|---|---|---|
| committer | Jean-Philippe Bruyère <jp_bruyere@hotmail.com> | 2020-01-12 03:54:39 +0100 |
| commit | 51a35395e90543c64125aee016681a8db3c3b407 (patch) | |
| tree | 9c97dc41589ff5e316bf6e3775e824666751a025 /CrowIDE/ui/Options.crow | |
| parent | 0cc6450b9bb90609867ce9cc56084f86857fc3ef (diff) | |
wip 0.8.7v0.8.7
Diffstat (limited to 'CrowIDE/ui/Options.crow')
| -rw-r--r-- | CrowIDE/ui/Options.crow | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/CrowIDE/ui/Options.crow b/CrowIDE/ui/Options.crow index 7d401e05..973beed7 100644 --- a/CrowIDE/ui/Options.crow +++ b/CrowIDE/ui/Options.crow @@ -1,16 +1,13 @@ <?xml version="1.0"?> <Window Caption="Crow IDE Options" Width="80%" Height="70%" Background="DimGrey" Modal="true"> - <TabView> - <TabItem Caption="IML Visual Editor"> + <TabView SelectedTab="0"> + <TabItem Caption="IML Visual Editor" SelectedBackground="Jet"> <VerticalStack Margin="10"> <CheckBox Caption="Print Line Numbers" IsChecked="True"/> - <CheckBox Caption="Print Line Numbers" IsChecked="True"/> - <CheckBox Caption="Print Line Numbers" IsChecked="True"/> - <CheckBox Caption="Print Line Numbers" IsChecked="True"/> - <CheckBox Caption="Print Line Numbers" IsChecked="True"/> + <CheckBox Caption="Reopen last solution on startup" IsChecked="{²ReopenLastSolution}"/> </VerticalStack> </TabItem> - <TabItem Caption="Text Editor"> + <TabItem Caption="Text Editor" SelectedBackground="Jet"> <VerticalStack Margin="10"> <CheckBox Caption="Print Line Numbers" IsChecked="True"/> <CheckBox Caption="Print Line Numbers" IsChecked="True"/> |