?

Log in

No account? Create an account
Beowabbit
Now mostly on Facebook (and rarely caught up even there)
PSA: Firefox plugins 
10th-Jan-2009 12:15 pm
Geek: Mac 64
Howdy. Just wanted to mention two Firefox plugins I’ve started using lately and find extremely useful:

It's All Text! lets you edit text-entry areas (like LiveJournal post and comment fields) with your favourite real text editor. (So you can search-and-replace, load prepared files, and use whatever convenience features like abbreviations or filters your editor provides.) Works on Linux/Unix, and I gather it works on Windows; evidently it doesn’t work on MacOS X. "Remember, with great power outages come great responsibility outages."

Aardvark lets you interactively delete things from the page you’re looking at (or alternatively, select an element and delete everything else). It’s especially useful when you’re printing, because you can print out that one recipe that’s in the middle of a long string of comments, or print out the map and directions to the hotel without including the hotel’s banner, navigation sidebar, and list of reviews. Presumably you could also remove that one wide image that’s messing up your whole Friends page, although I haven’t had to try that since I installed it. It’s also useful for web developers or HTML/CSS geeks to see the structure of pages they’re looking at.
Comments 
10th-Jan-2009 10:17 pm (UTC)
It’s also useful for web developers or HTML/CSS geeks to see the structure of pages they’re looking at.

Most of us developers already use Firebug and Developer Toolbar. What does Aardvark add that these other tools don't already? Just wondering.
10th-Jan-2009 10:22 pm (UTC)
Most of us developers already use Firebug and Developer Toolbar. What does Aardvark add that these other tools don't already? Just wondering.
I have no idea; probably nothing. I’m not a remotely serious web developer, and I’ve never used Firebug or Developer Toolbar. I mentioned that because it was in the Aardvark description and because I could imagine it as a quicker and easier way of finding out id names and general page structure if I wanted to tweak CSS for a page than looking at the source.
This page was loaded Nov 18th 2017, 5:45 pm GMT.