Text Editing
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Text Editing category
|
|
0 | 464 | May 24, 2023 |
|
How to delete lines?
|
|
7 | 1120 | October 14, 2026 |
|
Find results truncates lines
|
|
5 | 521 | September 5, 2024 |
|
UI Enhancement: Highlight changed lines
|
|
1 | 386 | August 12, 2024 |
|
Multiple Cursors
|
|
1 | 375 | August 2, 2024 |
|
Go to char option?
|
|
2 | 538 | November 30, 2023 |