Gedit n’est pas un simple éditeur de texte, en effet grace à ses plugins il est possible d’étendre ses fonctionnalités et d’en faire un petit IDE. Seif Lotfy nous propose un plugin appelé dashboard reprenant l’aspect du nouvel onglet de Google Chrome.
Si vous regardez bien vous reconnaîtrez les boutons [Recently used] et Most Used que l’on retrouve dans le nouvel onglet de Google Chrome. A coté de ces boutons se trouvant une zone de texte permettant de filtrer les fichiers déjà ouvert. Dés que vous tapez quelques lettres la liste des fichiers correspondant s’affichent.
Installation gedit-Dash sur Ubuntu
Dans un premier temps il faut installer les dépendances :
sudo apt-get install python-pygments zeitgeist-fts-extension zeitgeist
Ensuite créer le répertoire suivant :
mkdir -p ~/.local/share/gedit/plugins
Et télécharger le fichier tar depuis le site de l’auteur de ce plugin gedit : gedit-dash-0-1 et décompresser l’archive dans le répertoire précédemment créé.
Ensuite lancer Gedit et aller dans le menu Editions -> Préférences -> Greffons et activer le plugin dashboard.
Jeu de briques
Snake
Pacman
Bubble