removed a previous speed optimization as it fails to update the left …

…panel when a selection is started in a different element than the current one
t-bullock · Mar 30, 2017 · 9093d8d · 9093d8d
1 parent 5ce1eb7
commit 9093d8d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lib/src/cursor.dart b/lib/src/cursor.dart
@@ -1045,7 +1045,7 @@ class Cursor {
  * Starting with start and end, the selection is reduced to
  * avoid cutting elements, so that the selection can be cut.
  */
- setSelection(Position start, Position end, {updateUI:true}) {
+ setSelection(Position start, Position end) {
  if (selectionStart == start && selectionEnd == end) {
  if (start == end) {
  updateCaretPosition(false);
@@ -1196,7 +1196,7 @@ class Cursor {
  }
  if (selectionEnd != selectionStart)
  hide();
- if (updateUI && selectionStart != previousStart)
+ if (selectionStart != previousStart)
  page.updateAfterPathChange();
  }
 

diff --git a/lib/src/web_page.dart b/lib/src/web_page.dart
@@ -341,7 +341,7 @@ class WebPage {
  else
  _selectionEnd = positions[0];
  }
- _cursor.setSelection(_selectionStart, _selectionEnd, updateUI:false);
+ _cursor.setSelection(_selectionStart, _selectionEnd);
  }
  event.preventDefault();
  }