Skip to content

Instantly share code, notes, and snippets.

@rostegg
Created July 10, 2020 16:44
Show Gist options
  • Select an option

  • Save rostegg/90ebb3ee5e2828dcdeecf01dfb0b124e to your computer and use it in GitHub Desktop.

Select an option

Save rostegg/90ebb3ee5e2828dcdeecf01dfb0b124e to your computer and use it in GitHub Desktop.
Hide tabs panel
PROFILE_DIR=~/.mozilla/firefox/$( ls -tr ~/.mozilla/firefox/ | grep -v profiles.ini | tail -1 )
if [ ! -d "${PROFILE_DIR}"/chrome ] ; then
mkdir -p "${PROFILE_DIR}"/chrome
fi
STYLE="#TabsToolbar { visibility: collapse !important; }"
echo ${STYLE} >> "${PROFILE_DIR}"/chrome/userChrome.css
@rwese

rwese commented Mar 18, 2022

Copy link
Copy Markdown

do not forget to enable about:config: toolkit.legacyUserProfileCustomizations.stylesheets

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment