diff options
author | srichman333 <sarah_n_richman@brown.edu> | 2023-02-20 00:53:06 -0500 |
---|---|---|
committer | srichman333 <sarah_n_richman@brown.edu> | 2023-02-20 00:53:06 -0500 |
commit | 6b1cbe4130c9090042378dcf81e0eabca9badfd8 (patch) | |
tree | e45813782b80ffba61d003d90f19fe7ed53d88ce /src/client/util/SettingsManager.tsx | |
parent | 53bcf6cf1115673791406d51edc1913a43ab9bc3 (diff) | |
parent | 32f5040c44dc302e3dd53cecd9be4cd51a474d3f (diff) |
Merge branch 'master' into uiupdate-sarah
Diffstat (limited to 'src/client/util/SettingsManager.tsx')
-rw-r--r-- | src/client/util/SettingsManager.tsx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/client/util/SettingsManager.tsx b/src/client/util/SettingsManager.tsx index 179a1ac39..6c823e80a 100644 --- a/src/client/util/SettingsManager.tsx +++ b/src/client/util/SettingsManager.tsx @@ -199,6 +199,10 @@ export class SettingsManager extends React.Component<{}> { <input type="checkbox" onChange={e => (Doc.UserDoc().activeInkHideTextLabels = !Doc.UserDoc().activeInkHideTextLabels)} checked={BoolCast(Doc.UserDoc().activeInkHideTextLabels)} /> <div className="preferences-check">Hide Labels In Ink Shapes</div> </div> + <div> + <input type="checkbox" onChange={e => (Doc.UserDoc().openInkInLightbox = !Doc.UserDoc().openInkInLightbox)} checked={BoolCast(Doc.UserDoc().openInkInLightbox)} /> + <div className="preferences-check">Open Ink Docs in Lightbox</div> + </div> </div> ); } |