Язык API-интерфейса API в gedit
Есть ли плагин для gedit, позволяющий мне иметь API для определенного языка, открытого на боковой панели?
Я сейчас работаю на Java, и было бы полезно иметь документ типа дерева с подробностями ключевых слов API.
1
задан Zanna
15 March 2017 в 10:31
поделиться
2 ответа
Вы можете подумать о том, чтобы внести вклад в сообщество, написав плагин для работы, которую вы хотите достичь. Вот хорошая отправная точка из команды Gnome.
1
ответ дан Qwerty
25 May 2018 в 22:43
поделиться
Это не плагины для gedit, но вам могут понравиться: программа devhelp и веб-сайт http://www.gotapi.com/html
1
ответ дан user1974
25 May 2018 в 22:43
поделиться
-
1