Menu

Gedit on steroids

November 16, 2016 - Tools

Install Gedit

sudo apt-get install gedit

Install plugins

sudo apt-get install gedit-plugins

Run gedit from terminal:

gedit filename.c

Enable plugins: Edit > Preferences > Plugins
Embedded Terminal
Python Console

Tags: