diff options
| author | mbkma <[email protected]> | 2021-03-06 20:48:13 +0100 |
|---|---|---|
| committer | Robert Antoni Buj Gelonch <[email protected]> | 2021-03-07 09:53:11 +0100 |
| commit | 6384cc5c9b68a6252b7f6e8417c2ef234f85b940 (patch) | |
| tree | f3a8235f126fe00d90bac374e0791c34351136c2 /plugins/externaltools/externaltools.plugin.desktop.in.in | |
| parent | 4437fd4c919d8b66f7852c79b5edfa2ae927ea60 (diff) | |
| download | pluma-6384cc5c9b68a6252b7f6e8417c2ef234f85b940.tar.bz2 pluma-6384cc5c9b68a6252b7f6e8417c2ef234f85b940.tar.xz | |
sort plugin: Port sort plugin to the new GtkSourceView api.
This allows the user to undo a sorting operation.
Further this commit simplifies the code and updates the ui file.
Diffstat (limited to 'plugins/externaltools/externaltools.plugin.desktop.in.in')
0 files changed, 0 insertions, 0 deletions