fix bug of text_editor scrollbar

This commit is contained in:
Jinhao
2017-05-30 10:43:10 +08:00
parent 2f21c33392
commit 5746fc33f6
3 changed files with 20 additions and 13 deletions

View File

@@ -74,7 +74,7 @@ namespace skeletons
/// Returns true if the origin is moved
bool move_origin(const point& skew);
void sync(bool try_update);
void sync(bool passive);
void pursue(const point& cursor);