xan/awips2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix for TextEditorDialog in merge of 12.11.1-4 baseline

Browse source 
Change-Id: I5e5e39af2bd7f2bfc9dd10ab0ddf87ff80cb7b76

Former-commit-id: 6053b5fbc1 [formerly f4a2d13df1] [formerly 6053b5fbc1 [formerly f4a2d13df1] [formerly 8934186397 [formerly 1cf3c76428719ebc7f06612b8525057e9345a56e]]]
Former-commit-id: 8934186397
Former-commit-id: ab10bc88a8 [formerly 6199f7f516]
Former-commit-id: f891be22d1
This commit is contained in:
Roger Ferrel 2012-10-17 08:49:30 -05:00
parent 9dc3068ab8
commit d92ccc692c
1 changed files with 20 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
cave/com.raytheon.viz.texteditor/src/com/raytheon/viz/texteditor/dialogs/TextEditorDialog.java
View file

@ -1137,6 +1137,8 @@ public class TextEditorDialog extends CaveSWTDialog implements VerifyListener,
.getTimeZone(TimeTools.ZULU_TIMEZONE)); .getTimeZone(TimeTools.ZULU_TIMEZONE));
} }
private boolean isPreviousLineWrapped;
/** /**
* Constructor with additional cave style rules * Constructor with additional cave style rules
* *
@ -7234,8 +7236,10 @@ public class TextEditorDialog extends CaveSWTDialog implements VerifyListener,
checkAndWrapNextLine(lineNumber); checkAndWrapNextLine(lineNumber);
} }
/** checks if the previous line is part of the same paragraph and continues /**
* checks if the previous line is part of the same paragraph and continues
* wrapping if it is * wrapping if it is
*
* @param line * @param line
*/ */
private void checkAndWrapPreviousLine(int line) { private void checkAndWrapPreviousLine(int line) {
@ -7246,7 +7250,8 @@ public class TextEditorDialog extends CaveSWTDialog implements VerifyListener,
if (line - 1 > 0) { if (line - 1 > 0) {
// if the previous line does not start a new paragraph // if the previous line does not start a new paragraph
if (!isParagraphStart(line - 1)) { if (!isParagraphStart(line - 1)) {
// if the previous line is not empty ( marks the end of a paragraph // if the previous line is not empty ( marks the end of a
// paragraph
// ) // )
if (!textEditor.getLine(line - 1).trim().isEmpty()) { if (!textEditor.getLine(line - 1).trim().isEmpty()) {
// rewrap the previous line // rewrap the previous line