From 50f61907c789b8706de2cefdc65c35ddea1a79c2 Mon Sep 17 00:00:00 2001 From: Kevin Ushey Date: Fri, 6 Feb 2015 13:23:16 -0800 Subject: [PATCH] ensure theme previewer is read-only --- .../studio/client/workbench/prefs/views/AceEditorPreview.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/AceEditorPreview.java b/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/AceEditorPreview.java index 1f770f56797..fca320565d6 100644 --- a/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/AceEditorPreview.java +++ b/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/AceEditorPreview.java @@ -85,6 +85,7 @@ public void onLoaded() "editor.renderer.setHScrollBarAlwaysVisible(false);\n" + "editor.renderer.setTheme({});\n" + "editor.setHighlightActiveLine(false);\n" + + "editor.setReadOnly(true);\n" + "editor.renderer.setShowGutter(false);\n" + "editor.renderer.setDisplayIndentGuides(false);\n" + "var RMode = require('mode/r').Mode;\n" +