Jesse W
Sun, 29 Sep 2002 01:55:31 -0700
Sorry, I sent the previous version before I spellchecked it.
This is better.
See what you think of the documentation I've written for these two
menu items. If stuff like this is available somewhere, _please_ let
me know. Tell me if this seems useful, too simple, too complex, etc.
Jesse Weinstein
[Areas of square bracketed text are points I am unclear about] Text
Zoom: Text Zoom is very useful.(To me) It increases(or decreases)
the size of the fonts used on the page you are viewing. You can
select pre-defined Zoom percentages, or increment(or decrement)
the font size with the "Smaller" and "Larger" commands(keyboard
shortcuts: Ctrl + and Ctrl -, respectively)
Page Source: Page Source(keyboard shortcut: Ctrl U) brings up a
window with the HTML[or other languages?] of the page you are
viewing. It is color- coded (this is a preference).