From b4c15e70df4ef38360489f35cc8fe6a804702dd7 Mon Sep 17 00:00:00 2001 From: mathuramg Date: Wed, 13 Jul 2016 15:23:48 -0400 Subject: [PATCH] add more roles + remove menu roles --- client/modules/IDE/components/Editor.js | 2 +- client/modules/IDE/components/Preferences.js | 22 ++++++++++++++++--- client/modules/IDE/components/PreviewFrame.js | 2 ++ client/modules/IDE/components/Toolbar.js | 5 ++++- 4 files changed, 26 insertions(+), 5 deletions(-) diff --git a/client/modules/IDE/components/Editor.js b/client/modules/IDE/components/Editor.js index 92ccd7b9..e8f24f4a 100644 --- a/client/modules/IDE/components/Editor.js +++ b/client/modules/IDE/components/Editor.js @@ -47,7 +47,7 @@ class Editor extends React.Component { _cm: CodeMirror.Editor render() { - return
; + return
; } } diff --git a/client/modules/IDE/components/Preferences.js b/client/modules/IDE/components/Preferences.js index f80ad5d0..119dd2e2 100644 --- a/client/modules/IDE/components/Preferences.js +++ b/client/modules/IDE/components/Preferences.js @@ -20,7 +20,7 @@ function Preferences(props) { 'preference__option--selected': !props.isTabIndent }); return ( -
+

Preferences

- + + - + +