Author: koen.aers(a)jboss.com
Date: 2012-04-27 06:24:36 -0400 (Fri, 27 Apr 2012)
New Revision: 40557
Modified:
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java
Log:
JBIDE-10919: Forge: "Home" and "End" keys do not work as expected
Modified:
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java
===================================================================
---
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java 2012-04-27
10:15:56 UTC (rev 40556)
+++
trunk/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java 2012-04-27
10:24:36 UTC (rev 40557)
@@ -17,9 +17,11 @@
public class ForgeTextViewer extends TextViewer {
+ private static String START_LINE = new Character((char)1).toString();
private static String PREV_CHAR = new Character((char)2).toString();
private static String CTRL_C = new Character((char)3).toString();
private static String CTRL_D = new Character((char)4).toString();
+ private static String END_LINE = new Character((char)5).toString();
private static String NEXT_CHAR = new Character((char)6).toString();
private static String DELETE_PREV_CHAR = new Character((char)8).toString();
private static String PREV_HISTORY = new Character((char)16).toString();
@@ -96,6 +98,14 @@
StyledText styledText= new StyledText(parent, styles) {
public void invokeAction(int action) {
switch (action) {
+ case ST.LINE_END:
+ getRuntime().sendInput(END_LINE);
+ System.out.println("line end");
+ break;
+ case ST.LINE_START:
+ getRuntime().sendInput(START_LINE);
+ System.out.println("line start");
+ break;
case ST.LINE_UP:
getRuntime().sendInput(PREV_HISTORY);
break;
Show replies by date