GTextEditor: The Home key should jump to the first non-space character

Press Home twice to get to column 0. This feels way more natural.
This commit is contained in:
Andreas Kling 2019-10-26 13:57:51 +02:00
parent 532001f4c1
commit 4fa8acf6ea
Notes: sideshowbarker 2024-07-19 11:32:13 +09:00
2 changed files with 15 additions and 1 deletions

View file

@ -233,6 +233,7 @@ private:
void clear();
void recompute_visual_lines();
int visual_line_containing(int column) const;
int first_non_whitespace_column() const;
template<typename Callback>
void for_each_visual_line(Callback) const;