Это сработало для меня:
sudo add-apt-repository ppa:gnome3-team/gnome3
sudo apt-get remove gedit libgtksourceview-3.0-common
sudo apt-get install gedit=3.4.1-0ubuntu1 gedit-common=3.4.1-0ubuntu1 \
libgtksourceview-3.0-0 libgtksourceview-3.0-common=3.4.1-0ubuntu1 \
gir1.2-gtksource-3.0=3.4.1-0ubuntu1
Это установило последнюю версию gedit на этот комментарий.