 jgmdev
|
8bbca7c0b0
|
plugins: added settings gui support
|
2022-05-23 17:50:10 -04:00 |
|
 Adam Harrison
|
2eaba8ab92
|
Erroneously added padding.
|
2022-05-04 20:08:08 -04:00 |
|
|
Adam Harrison
|
09bfb8d869
|
Updated linewrap and autocomplete to use the new get_line_screen_position which takes a col.
|
2022-05-04 20:05:41 -04:00 |
|
|
Adam Harrison
|
c112bd8d7c
|
Significantly improved performance of tokenization for larger documents by by default not requiring tokenization.
|
2022-04-17 13:01:45 -04:00 |
|
|
Adam Harrison
|
562e284d04
|
Fixed some minor issues with linewrapping.
|
2022-04-03 16:44:02 -04:00 |
|
|
Adam Harrison
|
11dfb5b1ca
|
Apparenlty these were issues? What?
|
2022-04-03 16:44:02 -04:00 |
|
|
Adam
|
3479890ce5
|
Soft Line Wrapping (#636)
Added in soft line wrapping.
|
2022-04-03 16:44:02 -04:00 |
|