Hi Peter, you can try to remove by:
sudo apt-get install ppa-purge sudo ppa-purge ppa:attente/java-non-latin-shortcuts
and restarting the session. Sorry I should've been more specific: the PPA is meant for the GNOME Classic from the package gnome-shell-extensions, and not either of the GNOME Flashback sessions.
Hi Peter, you can try to remove by:
sudo apt-get install ppa-purge java-non- latin-shortcuts
sudo ppa-purge ppa:attente/
and restarting the session. Sorry I should've been more specific: the PPA is meant for the GNOME Classic from the package gnome-shell- extensions, and not either of the GNOME Flashback sessions.