Monday, April 29, 2024
 Popular · Latest · Hot · Upcoming
4
rated 0 times [  4] [ 0]  / answers: 1 / hits: 1904  / 2 Years ago, wed, september 21, 2022, 5:32:55

I enabled the "External Tools" plugin for gedit. I clicked on Tools > Manage External Tools, but it didn't pop up a dialog. It did nothing. What did I do wrong? How can I re-install this plugin?


More From » gedit

 Answers
2

Install, if it isn't already, gir1.2-gtksource-3.0 package:



sudo apt-get install gir1.2-gtksource-3.0


Then give your user ownership over GEdit configuration directory:



sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit


Open GEdit and now you should be able to use External tools plugin.


[#24380] Friday, September 23, 2022, 2 Years  [reply] [flag answer]
Only authorized users can answer the question. Please sign in first, or register a free account.
aveerakfas

Total Points: 106
Total Questions: 148
Total Answers: 129

Location: Monaco
Member since Sun, Jan 1, 2023
1 Year ago
;