[brailleblaster] push by brandon....@xxxxxxxxx - Slight refactor of edit recorder code on 2015-02-06 16:05 GMT
- From: brailleblaster@xxxxxxxxxxxxxx
- To: brailleblaster@xxxxxxxxxxxxx
- Date: Fri, 06 Feb 2015 16:05:30 +0000
Revision: 2e6378515bd7
Branch: default
Author: Brandon Roller<brandon.r.roller@xxxxxxxxx>
Date: Fri Feb 6 15:54:22 2015 UTC
Log: Slight refactor of edit recorder code
https://code.google.com/p/brailleblaster/source/detail?r=2e6378515bd7
Modified:
/src/main/org/brailleblaster/perspectives/braille/views/wp/formatters/EditRecorder.java
=======================================
---
/src/main/org/brailleblaster/perspectives/braille/views/wp/formatters/EditRecorder.java
Thu Feb 5 14:41:41 2015 UTC
+++
/src/main/org/brailleblaster/perspectives/braille/views/wp/formatters/EditRecorder.java
Fri Feb 6 15:54:22 2015 UTC
@@ -25,10 +25,9 @@
ExtendedModifyEvent e =
(ExtendedModifyEvent)m.getValue("event");
int lineStart =
text.view.getOffsetAtLine(text.view.getLineAtOffset(e.start));
- int offset = e.start - lineStart;
-
- String lineText =
text.view.getLine(text.view.getLineAtOffset(e.start));
+ int offset = e.start - lineStart;
int index = offset;
+ String lineText =
text.view.getLine(text.view.getLineAtOffset(e.start));
while(index < lineText.length() && (lineText.charAt(index) != ' ' ||
index < (offset + e.length)))
index++;
@@ -61,12 +60,13 @@
int offset = e.start - lineStart;
String lineText = currentLine;
int index = offset;
- if(e.replacedText.length() == 0){
- while(index < lineText.length() &&
(lineText.charAt(index) != ' '))
- index++;
- }
- else {
- index = offset + e.replacedText.length();
+
+ while(index < lineText.length()){
+ if(lineText.charAt(index) == ' '){
+ if(index > offset + e.replacedText.length())
+ break;
+ }
+ index++;
}
int wordEnd = index;
Other related posts:
- » [brailleblaster] push by brandon....@xxxxxxxxx - Slight refactor of edit recorder code on 2015-02-06 16:05 GMT - brailleblaster
