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