Я не знаю, возможно ли это даже в gedit, я знаю, что есть сторонние редакторы, которые будут делать это, но мне нравится gedit, и я хотел бы знать, знает ли кто-нибудь о таком плагине, потому что я не могу его найти.
Да, phplint. Можно получить его от:
https://wiki.gnome.org/Apps/Gedit/ThirdPartyPlugins-v3.0
Прямая ссылка https://github.com/janpecha/gedit-phplint
Для установки одного из этих плагинов необходимо загрузить файлы и поместить их в ~/.local/share/gedit/plugins/каталог (который, возможно, должен быть создан). Они должны быть в том точном каталоге; подкаталоги не сканируются для плагинов.
так..
mkdir -p ~/.local/share/gedit/plugins/
Тогда на второй ссылке я дал Вам, нажмите кнопку "Download Zip" слева, разархивируйте архив к ~/.local/share/gedit/plugins/