Text Editing
Topic | Replies | Views | Activity | |
---|---|---|---|---|
About the Text Editing category
|
![]() |
0 | 356 | May 24, 2023 |
Find results truncates lines
|
![]() ![]() |
5 | 291 | September 5, 2024 |
UI Enhancement: Highlight changed lines
|
![]() ![]() |
1 | 244 | August 12, 2024 |
Multiple Cursors
|
![]() ![]() |
1 | 240 | August 2, 2024 |
Go to char option?
|
![]() ![]() |
2 | 356 | November 30, 2023 |
How to delete lines?
|
![]() ![]() ![]() |
6 | 805 | August 10, 2023 |