public/Boostnote
1
0
Fork 0
mirror of https://github.com/BoostIo/Boostnote synced 2025-12-13 09:46:22 +00:00
Code Issues Releases Wiki Activity

Merge pull request #879 from xxdavid/feature-editor-line-lines

Browse Source 
Make line numbers in the editor optional
This commit is contained in:
Junyoung Choi (Sai)
2018-02-03 13:57:00 +09:00
committed by GitHub
parent 2183c4bda6 da1098e441
commit a64f73ca0c
5 changed files with 21 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
browser/main/modals/PreferencesModal/UiTab.js
View File

@@ -73,6 +73,7 @@ class UiTab extends React.Component {
fontFamily: this.refs.editorFontFamily.value,
indentType: this.refs.editorIndentType.value,
indentSize: this.refs.editorIndentSize.value,
displayLineNumbers: this.refs.editorDisplayLineNumbers.checked,
switchPreview: this.refs.editorSwitchPreview.value,
keyMap: this.refs.editorKeyMap.value,
scrollPastEnd: this.refs.scrollPastEnd.checked
@@ -304,6 +305,17 @@ class UiTab extends React.Component {
</div>
</div>
<div styleName='group-checkBoxSection'>
<label>
<input onChange={(e) => this.handleUIChange(e)}
checked={this.state.config.editor.displayLineNumbers}
ref='editorDisplayLineNumbers'
type='checkbox'
/>&nbsp;
Show line numbers in the editor
</label>
</div>
<div styleName='group-checkBoxSection'>
<label>
<input onChange={(e) => this.handleUIChange(e)}
@@ -315,6 +327,7 @@ class UiTab extends React.Component {
</label>
</div>
<div styleName='group-header2'>Preview</div>
<div styleName='group-section'>
<div styleName='group-section-label'>