Advertentie
Gnome menu uitgebreid
Een menu voor de GNOME-desktop met KDE en OpenOffice.org submenu's voor GNOME 2.10 of hoger. ...
gnome-main-menu
GNOME-MAIN-MENU is een set van drie hulpprogramma's. ...
gnome-menu's
GNOME-MENUS-project bevat menu's voor de GNOME desktop-omgeving. ...
K menu gnome
K MENU GNOME-project is een k-menu met gnome-map en extra pictogrammen voor KDE 3.2 of hoger. ...
GNOME-MENU-SETUP
Snel en eenvoudig GNOME-menu's bewerken met behulp van een eenvoudig configuratiebestand ...
keytouch-editor
KeyTouch-Editor is een configurator voor Keytouch. ...
editor configuratie keytouch Keytouch-editor toetsenbordconfiguratie
gnome-menu-editor
GNOME-MENU-Editor is een eenvoudige menu-editor voor kabouter in zijn vroege stadia. ...
GNOME CRONTAB EDITOR
De GNOME CRONTAB-editor is een grafische interface voor het Crontab-programma. ...
editor GNOME contrab editor crontab-interface crontab frontend
Menu-editor
Menu-editor is een extensie van Thunderbird waarmee u toepassingsmenu's kunt aanpassen. ...
editor menu menu-editor Rearrange menuitems Verwijder menuitems
Openbox Menu Editor
Openbox Menu Editor is een tool die het proces van het Complexe XML-gebaseerde menu-bestand van de openingsbox vereenvoudigt. ...
RSS-editor
RSS-editor is een Firefox-extensie die fungeert als een desktop RSS-editor voor casual bewerking van RSS 2.0-bestanden. ...
Site-editor
Site-editor is een CGI-script waarmee een gebruiker hun webruimte kan beheren zonder FTP-toegang nodig te hebben. ...
GStreamer-editor
Grafische editor voor het maken van GStreamer Media-pijpleidingen. ...
media GSTREAMER pijpleider maker Media Pipelines Creator GStreamer-editor
Record-editor
A-bestandseditor van een programmeur voor bestanden waar velden vaste posities in een record bezetten. ...
gegevens programmeurs bestandseditor Programmeur-editor Programmeur Data File Editor
Editor
Bewerk elke website met deze opnieuw opstartende add-on voor Mozilla Firefox ...
Mime-editor
MIME-EDURLER IS EEN GRAFIEKE EDITOR voor de MIME-database FreeSktop.org. ...
editor grafisch grafische editor MIME-database grafische editor
Service Menu Editor
SERVICE MENU-editor is een eenvoudige manier om de rechtermuisknop te bewerken die u ziet bij het gebruik van Dolphin. ...
Checkbox-editor
Editor voor het selectievakje Test Integration Framework ...
integratie test selectievakje testcases Integration framework
Menu-editor II voor Firefox
Verberg eenvoudig menu-items met deze add-on voor Mozilla-producten ...