FlexIT
Appends an extra row to the flexitime accumulator view in xledger with a more concise flexitime value.
1 usuario
BOE Style Format
Añade nuevos estilos para las páginas del "Boletin Oficial del Estado" (BOE) para hacerlo más legible.
1 usuario
Anichart detail hider
Adds small interface to upper right corner of page when visiting the page anichart.net. Clicking a button will hide the written details of the shows in the page, and another restores them.
1 usuario
YouTube Informant
YouTube Informant plugin by DeAnN. YouTube Plugin der Video tags als .TXT Datei speichert, Tags sind durch Komma getrennt.
1 usuario
1 streaming series style 2024
Transformez votre navigateur avec le style unique de 1SeriesStreaming. Cette extension apporte l'élégance et le dynamisme de 1SeriesStreaming directement dans votre expérience de navigation, offrant une interface utilisateur attrayante.
1 usuario
GitHub Pull Request Title Case Helper
A browser extension for transforming GitHub pull request titles into their MLA-compliant title-cased equivalents.
1 usuario
Fix for the Wiki of Uni Wien
Fix the behaviour of the Wiki of the University of Vienna currently not allowing to collapse/expand all FAQs at the same time - Unofficial extension (not supported neither by the ZID nor by the Wiki team of the University of Vienna)
1 usuario
Tablet Toolbar
A few actions to ease use with firefox on touch screen devices - switching between tabs - closing tabs - opening links in new tab (default action on new tabs, click to unlock default behavior)
1 usuario
FPL Time Machine
The sole focus is on restyling and optimising the visual layout of FPL’s web interface for a better user experience.
1 usuario
RemoveIT
Performes user defined actions such as clicking or removing browser cookies on user defined element selectors.
1 usuario
GitHub Avatars
Increases the size of user avatars in GitHub issues and adds a name next to them.
1 usuario
Google Boosted
Cette extension ajoute plusieurs boutons à la barre de recherche Google, permettant d'accéder rapidement à différents services avec votre recherche Google. Une solution élégante pour améliorer votre productivité lors de vos recherches.
1 usuario
