Manuel Genovés
|
0647b41340
|
Use io instead of codec
Drop the deprecated codec module for parsing files.
Better handling of file URIs
|
2020-01-24 21:24:44 +01:00 |
Manuel Genovés
|
3af59e2c1d
|
initial port to gresources
|
2019-11-04 23:05:03 +01:00 |
Gonçalo Silva
|
3bb813895e
|
Fix warning when opening file
set/clear text should count as a single user action.
|
2019-07-25 00:18:33 +01:00 |
Manuel Genovés
|
63ff2659fc
|
There is no necessity to strip + signs from URIS
Closes #171
|
2019-07-25 00:18:33 +01:00 |
Manuel Genovés
|
53a9f4ebbd
|
manage open_file errors
|
2019-07-25 00:18:33 +01:00 |
Manuel Genovés
|
3cae19c0cc
|
catch exporting errors.
Fixes #164
|
2019-07-25 00:18:33 +01:00 |
Gonçalo Silva
|
23cddba0d0
|
Add shortcut for find and replace
Also renames "search" to "find" as most other Gtk apps.
|
2019-07-25 00:18:33 +01:00 |
Manuel Genovés
|
213ff104e5
|
Update license
|
2019-07-05 20:47:49 +02:00 |
Gonçalo Silva
|
250519f319
|
Improve gspell_view encapsulation inside TextView
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
c2d0bde9f8
|
Replace set_value(X, type(Y)) with set_type(X, Y) for Settings
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
939edcc762
|
Allow disabling scroll sync
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
db652ef84f
|
Ensure text view is focused when toggling preview
Consistent with other menu options.
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
c2a43c374a
|
Remove unused class
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
86cffc40ec
|
Improve full-width preview workflow
|
2019-05-04 16:33:09 +01:00 |