Advertisement
Favicon Picker 2
Favicon Picker 2 is a Firefox extension that adds a interface allowing you to pick the icon for each of your bookmarks....
Favicon Picker 3
Change your bookmark icons!...
Google Favicon
This Firefox add-on displays favicons on Google search results...
Gmail Favicon Notifier
Adds the number of unread messages and chat notifications in Gmail to the favicon...
Unread Gmail Favicon
Display the number of unread messages over a Gmail tab's favicon...
Bookmark Favicon Changer for Firefox
Right click your bookmark to change favicon...
Editor
Edit any website with this restartless add-on for Mozilla Firefox...
ProVerif Editor
Check and edit protocols specified in SPI-calculus...
editor check protocols protocols editor SPI calculus ProVerif
Advertisement
Subtitle Editor
Subtitle Editor is a GTK 2 tool to edit subtitles for GNU/Linux....
editor transform subtitle edit subtitles transform subtitles
Htpasswd Editor
Ncurses interface for htpasswd files....
password interface htpasswd htpasswd editor htpasswd interface
Hebrew Editor
Hebrew Editor package allows Hebrew-speaking users to create and edit Hebrew/English LaTeX documents....
Hex Editor
Hex Editor is a hex editor that is small and quick....
Paco Editor
Paco Editor is a graphical text editor aimed towards programmers....
KXML Editor
KXML Editor is a XML Editor for KDE....
Plugged Editor
PlEd is a editor, programmable by plugins....
Record Editor
A programmer's data file editor for files where fields occupy fixed positions in a record....
data programmers file editor programmer's editor programmer data file editor