Pluma 1.20 - wtyczki Duplicate Line i Line Tools
Do GitHub dodałem dwie wtyczki dla edytora Pluma w wersji 1.20 lub nowszej.
GitHub: https://github.com/furas/pluma-python-plugins
Duplicate Line
Duplikuje linię (lub zaznaczony kawałek tekstu) za pomocą Ctrl+Shift+D. Niestety próba przypisania do Ctrl+D tak jak to jest w Geany nie zadziała. Ctrl+D wciąż kasuje linię.
Kod jest przeróbką wtyczki Duplicate Line dla Gedit >=3.14 z pomocą przykładu na dodawania menu zawartego w dokumentacji PythonPluginHowTo dla Gedit 3.x
Wtyczka dodaje w menu funkcję Tools > Duplicate Line
Line Tools
Zbiór różnych funkcji do działań na linii - kasowanie całości lub kawała, przesuwanie o linię w górę lub w dół, itp. It based on Gedit LineToolsPlugin
Kod jest przeróbka wtyczki Line Tools z dokumentacji Gedit 2.x.
Wtyczka dodaje wszystkie funkcje w menu Edit > Line Tools > ...
Wśród funkcji jest też duplikowanie linii z przypisanym skrótem Ctrl+D ale skrót ten wciąż kasuje linię - choć funkcja wybrana z menu działa poprawnie.
Wtyczka ta daje jednak podstawy do łatwego dodania kolejnych funkcji w tym menu.
Buy a Coffee