Community
Participate
Working Groups
In Text Editor or Java Editor typing CTRL+PAGEUP and CTRL+PAGEDOWN creates left margin if last line is longer than visible editor width and text is longer (vertically) than visible editor area. Workaround: Positioning on last character in last line and typing any key but ARROW UP removes this extra margin. It is reproducable always.
I cannot reproduce using I200410190941. Please attach some pictures and also see: http://dev.eclipse.org/viewcvs/index.cgi/%7Echeckout%7E/platform-text-home/development/bug-incomplete.htm
Created attachment 15561 [details] Result of Bug
Build id: 200409161125 Please type CTRL+PAGEUP and CTRL+PAGEDOWN in the last line (at any cursor position). Screenshot about result (text editor was used) attached.
Can you attach the file. Did you install other plug-ins?
Could not reproduce under Linux either
Created attachment 15569 [details] Test text file to get this bug No extra plug-ins are used.
Cannot reproduce using I200411010800 Note: to me it looks as if the file doesn't correspond to the picture attached in comment 2.
Content of test file is different than the one used at taking screenshot but the outcome is the same. Also in build: 200411022000 The big problem (my fault, sorry) was the key combination I wrote. So instead of CTRL+PAGEUP and CTRL+PAGEDOWN: Type CTRL+HOME and CTRL+END in the last line of test text file.
Can reproduce now. Simple steps: 1. open the attached file 2. press Ctrl+End 3. press Arrow Up ==> cheese might be related to bug 35886
Deferred.
*** Bug 35886 has been marked as a duplicate of this bug. ***
It's not just the highlighting: the widget is in a strange state where I can't put the caret on column 0. Dragging the horizontal scroll bar brings the widget back into a good state.
Created attachment 38127 [details] Shows widget in strange state
Test case: public static void main(String[] args) { Display display = new Display(); Shell shell = new Shell(display); shell.setLayout(new FillLayout()); StringBuffer buffer = new StringBuffer(); for (int i = 0; i < 50; i++) buffer.append("TestTest\n"); for (int i = 0; i < 50; i++) buffer.append("TestTest"); StyledText text = new StyledText(shell, SWT.MULTI | SWT.V_SCROLL | SWT.H_SCROLL); text.setText(buffer.toString()); shell.setSize(400, 400); shell.open(); text.invokeAction(ST.TEXT_END); while (!shell.isDisposed()) { if (!display.readAndDispatch()) { display.sleep(); } } display.dispose(); }
fixed in head > 20060411