Author: koen.aers(a)jboss.com
Date: 2011-07-14 13:58:18 -0400 (Thu, 14 Jul 2011)
New Revision: 32926
Modified:
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ConsoleViewer.java
Log:
make output wrap again
Modified:
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ConsoleViewer.java
===================================================================
---
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ConsoleViewer.java 2011-07-14
17:52:58 UTC (rev 32925)
+++
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ConsoleViewer.java 2011-07-14
17:58:18 UTC (rev 32926)
@@ -42,8 +42,12 @@
console.getInputStream().appendData(DOWN_ARROW);
}
+ private void handleF1Down() {
+// console.getInputStream().appendData((char)27 + "[%hidden blahblahblah
%");
+ }
+
protected StyledText createTextWidget(Composite parent, int styles) {
- StyledText styledText = super.createTextWidget(parent, styles);
+ StyledText styledText = super.createTextWidget(parent, styles | SWT.WRAP);
styledText.addKeyListener(new ConsoleKeyListener());
return styledText;
}
@@ -76,6 +80,8 @@
handleArrowUp();
} else if (e.keyCode == SWT.ARROW_DOWN) {
handleArrowDown();
+ } else if (e.keyCode == SWT.F1) {
+ handleF1Down();
}
}
Show replies by date