Category Archives: Web

Firefox: Defining font type and size

See Firefox/Font type and size.

Firefox tuning

firefox-tuning

These edits I use to help Firefox ergonomics — basically they are only fine touches.

Configuration editor

For quick and accessible configuration editing, I like to use the configuration editor. It can be got to by typing about:config in the URL bar.

Session remember

    browser.startup.page
    3

New tab for a new page

    middlemouse.openNewWindow
    false

New tabs unfocused (when loading a new page)

    browser.tabs.loadDivertedInBackground
    true

Middle-click, accidental click, prevention

To protect against accidental middle-clicks that open new tabs with the contents of the clipboard:

    middlemouse.contentLoadURL
    false

Spell check in all entry fields enable

    layout.spellcheckDefault
    2

DPI set

Firefox assumes the monitor to have a DPI of 96. If the monitor has a different DPI this setting will adjust font sizes befittingly; the value is a decimal, the result of Monitor-DPI/96 (e.g. 102/96).

    layout.css.devPixelsPerPx
    X.X

Help rollovers disable

    browser.chrome.toolbar_tips
    false

Tabnails disable when rearranging tabs

    nglayout.enable_drag_images
    false

Mouse scroll speed

    mousewheel.default.delta_multiplier_y
    300

Source code editor define

    view_source.editor.external
    true
    view_source.editor.path
    /usr/bin/gedit

“Do Not Track” enable

Read more on this here.

    privacy.donottrackheader.enabled
    true

Font type and size

Many sites define font size depended on CSS values. Using these values can be helpful in define font size: Firefox: Defining font type and size.

Add-ons

Avoid add-ons that are unnecessary; add-ons contribute to the potentiality of creating an un-stable browser experience. These add-ons give nice bonuses and have a good reputation:

  • Adblock Plus — blocks annoying buy keep unobtrusive ads.
  • Clear Fields – adds a clear text button for URL and search text entries.
  • Omnibar — integrate location and search bar
  • Wired Marker — highlight text on a webpage and remember it.

References and tips

  • Firefox shortcut keys
    • F6: Focus toggle of browser window and URL bar.
  • Middle-clicking a tab will close the tab.
  • For spell checking be sure to add the dictionary (e.g. hunspell-en package for English…), enable by right clicking in text-entry field.
  • Reset Firefox if problems begin (keeps bookmarks, passwords…).
  • Firefox Tips and Tweaks.

Restore Settings on a Broken Firefox

Update: 09-29-11 – Using script to automate process, see end of post.

When people have a issue with Firefox I’ve seen many people will resort to deleting their old profile (or folder) and creating a new one. This works but doing this will get rid of any passwords, history, bookmarks… therein. Having used Firefox quite a bit creating a new profile from time to time is a good idea anyhow as cruft, bad extensions, … can slow down browsing.

Manually

Copying the Firefox configs can be done by:

cd ~/.mozilla/firefox/

Backup the old profile and profile list:

mv xxxxxxxx.default{,.bck}
mv profiles.ini{,.bck}

Create a new profile:

firefox -CreateProfile <profilename>

This command will return the name of the new folder. Copy the basic settings to the new profile:

cd *.default.bck
cp places.sqlite key3.db cookies.sqlite mimeTypes.rdf formhistory.sqlite signons.sqlite permissions.sqlite webappsstore.sqlite persdict.dat content-prefs.sqlite ../*.<profilename>

This will transfer the bookmarks, browsing history, form entries, passwords, personal dictonary changes, and page zooms. There might be a couple other things wanted to add (possibly your firefox preferences), take a look at Transferring data to a new profile for more information.

Follow

Get every new post delivered to your Inbox.

Join 57 other followers