Miguel R
|
720c8c4623
|
Merge branch 'master' into issue#2456
|
2019-10-22 04:14:14 +00:00 |
|
Miguel Roncancio
|
243874c644
|
change comment
|
2019-10-21 23:51:47 -04:00 |
|
Miguel Roncancio
|
5d547bffb0
|
change return value, import ISelectionPosition
|
2019-10-21 23:49:28 -04:00 |
|
Miguel Roncancio
|
495f97cf95
|
change return value, import ISelectionPosition
|
2019-10-21 23:39:01 -04:00 |
|
miguel
|
449ede1d57
|
Prevent search result from being deselected if it is the only result
remove leading whitespace
prevent single search term deselection in findPrevious
|
2019-10-21 15:58:44 -04:00 |
|