Closed rbuj closed 1 year ago
this is already part of #556 . Maybe you or @yetist can update this PR? It needs the adjustments as in https://github.com/mate-desktop/pluma/pull/617/files . I can do it as well, but I am very busy atm.
https://github.com/mate-desktop/pluma/pull/556 i s merged, so closing this one.
this is already part of #556 . Maybe you or @yetist can update this PR? It needs the adjustments as in https://github.com/mate-desktop/pluma/pull/617/files . I can do it as well, but I am very busy atm.