|
@@ -132,7 +132,7 @@ guimgr.overall-gui-state = {'windowing-policy': 'combined-window',
|
132
|
132
|
{'tree-state': {'file-sort-method': 'by name',
|
133
|
133
|
'list-files-first': 0,
|
134
|
134
|
'tree-states': {'deep': {'expanded-nodes': [],
|
135
|
|
- 'selected-nodes': [(2,)],
|
|
135
|
+ 'selected-nodes': [(3,)],
|
136
|
136
|
'top-node': (0,)}},
|
137
|
137
|
'tree-style': 'deep'}}),
|
138
|
138
|
('snippets',
|
|
@@ -578,8 +578,8 @@ guimgr.overall-gui-state = {'windowing-policy': 'combined-window',
|
578
|
578
|
'constraint': None,
|
579
|
579
|
'current_pages': [1,
|
580
|
580
|
1],
|
581
|
|
- 'notebook_display': 'normal',
|
582
|
|
- 'notebook_percent': 0.3194444444444444,
|
|
581
|
+ 'notebook_display': 'tabs only',
|
|
582
|
+ 'notebook_percent': 0.7736000000000001,
|
583
|
583
|
'override_title': None,
|
584
|
584
|
'pagelist': [('debug-breakpoints',
|
585
|
585
|
'wide',
|
|
@@ -922,13 +922,14 @@ guimgr.overall-gui-state = {'windowing-policy': 'combined-window',
|
922
|
922
|
20),
|
923
|
923
|
'current-loc': loc('ContentSources.py'),
|
924
|
924
|
'editor-state-list': [(loc('ContentSources.py'),
|
925
|
|
- {'attrib-starts': [],
|
|
925
|
+ {'attrib-starts': [('run',
|
|
926
|
+ 169)],
|
926
|
927
|
'first-line': 0L,
|
927
|
|
- 'folded-linenos': [],
|
928
|
|
- 'sel-line': 0L,
|
929
|
|
- 'sel-line-start': 0L,
|
930
|
|
- 'selection_end': 0L,
|
931
|
|
- 'selection_start': 0L,
|
|
928
|
+ 'folded-linenos': [16L],
|
|
929
|
+ 'sel-line': 173L,
|
|
930
|
+ 'sel-line-start': 6605L,
|
|
931
|
+ 'selection_end': 6623L,
|
|
932
|
+ 'selection_start': 6623L,
|
932
|
933
|
'zoom': 0L})],
|
933
|
934
|
'has-focus': True,
|
934
|
935
|
'locked': False},
|
|
@@ -1135,7 +1136,7 @@ guimgr.overall-gui-state = {'windowing-policy': 'combined-window',
|
1135
|
1136
|
[loc('ContentSources.py')])),
|
1136
|
1137
|
'open_files': [u'ContentSources.py']},
|
1137
|
1138
|
'saved_notebook_display': None,
|
1138
|
|
- 'split_percents': {0: 0.4381720430107527},
|
|
1139
|
+ 'split_percents': {0: 0.583417593528817},
|
1139
|
1140
|
'splits': 2,
|
1140
|
1141
|
'tab_location': 'top',
|
1141
|
1142
|
'user_data': {}},
|