Merge branch 'master' into dataViz-annotations

1 files changed, 14 insertions, 1 deletions

diff --git a/src/client/util/SettingsManager.tsx b/src/client/util/SettingsManager.tsx
index dc852596f..f75322905 100644
--- a/src/client/util/SettingsManager.tsx
+++ b/src/client/util/SettingsManager.tsx
@@ -7,7 +7,7 @@ import { BsGoogle } from 'react-icons/bs';
 import { FaFillDrip, FaPalette } from 'react-icons/fa';
 import { Doc } from '../../fields/Doc';
 import { DashVersion } from '../../fields/DocSymbols';
-import { BoolCast, Cast, StrCast } from '../../fields/Types';
+import { BoolCast, Cast, NumCast, StrCast } from '../../fields/Types';
 import { addStyleSheet, addStyleSheetRule, Utils } from '../../Utils';
 import { GoogleAuthenticationManager } from '../apis/GoogleAuthenticationManager';
 import { DocServer } from '../DocServer';
@@ -269,6 +269,19 @@ export class SettingsManager extends React.Component<{}> {
                     size={Size.XSMALL}
                     color={SettingsManager.userColor}
                 />
+                <Group formLabel="Title Height">
+                    <NumberDropdown
+                        number={NumCast(Doc.UserDoc().headerHeight, 30)}
+                        color={SettingsManager.userColor}
+                        numberDropdownType={'slider'}
+                        min={6}
+                        max={60}
+                        step={2}
+                        type={Type.TERT}
+                        unit={'px'}
+                        setNumber={val => console.log('GOT: ' + (Doc.UserDoc().headerHeight = val))}
+                    />
+                </Group>
             </div>
         );
     }