move context button into separate group, update label
MODIFY
lib/project/results-pane.js
lib/project/results-pane.js
@@ -81,10 +81,16 @@ class ResultsPaneView {
style: {visibility: matchCount > 0 ? 'visible' : 'hidden'}
},
+ $.div({className: 'btn-toolbar'},
+ hasContext ?
+ $.div({className: 'btn-group'},
+ $.button({ref: 'toggleContext', className: 'btn'}, 'Show Context')
+ ) : null,
+
$.div({className: 'btn-group'},
$.button({ref: 'collapseAll', className: 'btn'}, 'Collapse All'),
- $.button({ref: 'expandAll', className: 'btn'}, 'Expand All'),
- hasContext ? $.button({ref: 'toggleContext', className: 'btn'}, 'Context Lines') : null
+ $.button({ref: 'expandAll', className: 'btn'}, 'Expand All')
+ )
)
),

move context button into separate group, update label