https://vguides.net/linux/gedit-plugins