JAL-1807 still testing

[jalviewjs.git] / bin / jalview / appletgui / TitledPanel.js

diff --git a/bin/jalview/appletgui/TitledPanel.js b/bin/jalview/appletgui/TitledPanel.js
index 026a455..351c3ff 100644 (file)
--- a/bin/jalview/appletgui/TitledPanel.js
+++ b/bin/jalview/appletgui/TitledPanel.js
@@ -1,43 +1,43 @@
-Clazz.declarePackage ("jalview.appletgui");
-Clazz.load (["awt2swing.Panel", "java.awt.Insets"], "jalview.appletgui.TitledPanel", null, function () {
-c$ = Clazz.decorateAsClass (function () {
-this.title = null;
-this.$insets = null;
-Clazz.instantialize (this, arguments);
-}, jalview.appletgui, "TitledPanel", awt2swing.Panel);
-Clazz.prepareFields (c$, function () {
-this.$insets =  new java.awt.Insets (10, 10, 10, 10);
-});
-Clazz.makeConstructor (c$, 
-function () {
-this.construct ("");
-});
-Clazz.makeConstructor (c$, 
-function (title) {
-Clazz.superConstructor (this, jalview.appletgui.TitledPanel, []);
-this.setTitle (title);
-}, "~S");
-Clazz.defineMethod (c$, "getInsets", 
-function () {
-return this.$insets;
-});
-Clazz.defineMethod (c$, "paintComponent", 
-function (g) {
-Clazz.superCall (this, jalview.appletgui.TitledPanel, "paintComponent", [g]);
-g.setColor (this.getForeground ());
-g.drawRect (5, 5, this.getWidth () - 10, this.getHeight () - 10);
-var width = g.getFontMetrics ().stringWidth (this.getTitle ());
-g.setColor (this.getBackground ());
-g.fillRect (10, 0, width, 10);
-g.setColor (this.getForeground ());
-g.drawString (this.getTitle (), 10, 10);
-}, "java.awt.Graphics");
-Clazz.defineMethod (c$, "getTitle", 
-function () {
-return this.title;
-});
-Clazz.defineMethod (c$, "setTitle", 
-function (title) {
-this.title = title;
-}, "~S");
-});
+Clazz.declarePackage ("jalview.appletgui");\r
+Clazz.load (["awt2swing.Panel", "java.awt.Insets"], "jalview.appletgui.TitledPanel", null, function () {\r
+c$ = Clazz.decorateAsClass (function () {\r
+this.title = null;\r
+this.$insets = null;\r
+Clazz.instantialize (this, arguments);\r
+}, jalview.appletgui, "TitledPanel", awt2swing.Panel);\r
+Clazz.prepareFields (c$, function () {\r
+this.$insets =  new java.awt.Insets (10, 10, 10, 10);\r
+});\r
+Clazz.makeConstructor (c$, \r
+function () {\r
+this.construct ("");\r
+});\r
+Clazz.makeConstructor (c$, \r
+function (title) {\r
+Clazz.superConstructor (this, jalview.appletgui.TitledPanel, []);\r
+this.setTitle (title);\r
+}, "~S");\r
+Clazz.defineMethod (c$, "getInsets", \r
+function () {\r
+return this.$insets;\r
+});\r
+Clazz.defineMethod (c$, "paintComponent", \r
+function (g) {\r
+Clazz.superCall (this, jalview.appletgui.TitledPanel, "paintComponent", [g]);\r
+g.setColor (this.getForeground ());\r
+g.drawRect (5, 5, this.getWidth () - 10, this.getHeight () - 10);\r
+var width = g.getFontMetrics ().stringWidth (this.getTitle ());\r
+g.setColor (this.getBackground ());\r
+g.fillRect (10, 0, width, 10);\r
+g.setColor (this.getForeground ());\r
+g.drawString (this.getTitle (), 10, 10);\r
+}, "java.awt.Graphics");\r
+Clazz.defineMethod (c$, "getTitle", \r
+function () {\r
+return this.title;\r
+});\r
+Clazz.defineMethod (c$, "setTitle", \r
+function (title) {\r
+this.title = title;\r
+}, "~S");\r
+});\r