changeset 5592:fee91394294a

Ensemble8: Fix for RT-33965 Source code is editable in Ensemble8
author Alexander Kouznetsov
date Wed, 30 Oct 2013 20:13:10 -0700
parents 2f74b29d7627
children fb3a8f1fc155
files apps/samples/Ensemble8/src/app/java/ensemble/samplepage/SamplePage.java apps/samples/Ensemble8/src/app/java/ensemble/samplepage/SourceTab.java
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/apps/samples/Ensemble8/src/app/java/ensemble/samplepage/SamplePage.java	Wed Oct 30 20:10:22 2013 -0700
+++ b/apps/samples/Ensemble8/src/app/java/ensemble/samplepage/SamplePage.java	Wed Oct 30 20:13:10 2013 -0700
@@ -236,13 +236,13 @@
         if (copyRight != null) {
             html.append("    <div onclick='document.getElementById(\"licenceText\").className = \"showing\";document.getElementById(\"licenseBtn\").className = \"hidden\";' id=\"licenseBtn\" class=\"button\">/* ....Show License.... */</div>\n");
             html.append("    <div id=\"licenceText\"class=\"hidden\">\n");
-            html.append("    <pre class=\"brush: java;gutter: false;toolbar: false;\">\n");
+            html.append("    <pre class=\"brush: java; gutter: false; toolbar: false; quick-code: false;\">\n");
             html.append(copyRight);
             html.append('\n');
             html.append("    </pre>\n");
             html.append("    </div>\n");
         }
-        html.append("    <pre class=\"brush: java;gutter: false;toolbar: false;\">\n");
+        html.append("    <pre class=\"brush: java; gutter: false; toolbar: false; quick-code: false;\">\n");
         html.append(source);
         html.append('\n');
         html.append("    </pre>\n");
--- a/apps/samples/Ensemble8/src/app/java/ensemble/samplepage/SourceTab.java	Wed Oct 30 20:10:22 2013 -0700
+++ b/apps/samples/Ensemble8/src/app/java/ensemble/samplepage/SourceTab.java	Wed Oct 30 20:13:10 2013 -0700
@@ -67,6 +67,7 @@
                     //                    Reader r = new BufferedReader(new InputStreamReader(getClass().getResourceAsStream(url)));
                     TextArea textArea = new TextArea(source);
                     textArea.setStyle("-fx-font-family: 'Courier New';");
+                    textArea.setEditable(false);
                     setContent(textArea);
                 } else {
                     String html = samplePage.convertToHTML(source);