diff --git a/src/SettingsDialog.js b/src/SettingsDialog.js
index 753c28f5..8534141c 100644
--- a/src/SettingsDialog.js
+++ b/src/SettingsDialog.js
@@ -46,7 +46,10 @@ const styles = theme => ({
},
holdOffInput: {
width: '7em',
- }
+ },
+ fontSizeInput: {
+ width: '5em',
+ },
});
class SettingsDialog extends React.Component {
@@ -67,6 +70,10 @@ class SettingsDialog extends React.Component {
this.props.onHoldOffChange(event.target.value);
};
+ handleFontSizeChange = (event) => {
+ this.props.onFontSizeChange(event.target.value);
+ };
+
render() {
const { classes } = this.props;
return (
@@ -127,13 +134,35 @@ class SettingsDialog extends React.Component {
/>
- Other
+ Text Editor
+
+
+ Font size
+ px}
+ inputProps={{
+ 'aria-label': 'FontSize',
+ min: 1,
+ max: 99,
+ step: 1,
+ }}
+ />
+
+
- Editor hold-off time
+ Hold-off time
{
+ this.setPersistentState({
+ fontSize: fontSize,
+ });
+ }
+
handleNodeShapeClick = (shape) => {
let x0 = null;
let y0 = null;
@@ -389,6 +396,8 @@ class Index extends React.Component {
onFitGraphSwitchChange={this.handleFitGraphSwitchChange}
holdOff={this.state.holdOff}
onHoldOffChange={this.handleHoldOffChange}
+ fontSize={this.state.fontSize}
+ onFontSizeChange={this.handleFontSizeChange}
onSettingsClose={this.handleSettingsClose}
/>