On Wednesday, September 14, 2011, tenox <[email protected]> wrote:
I agree to some extend: BBEdits handling of both, bookmarks and jump
marks would benefit from some overhaul. All that often I try to use
jump marks but find it quite unpredictable. I'm never sure where the
jump function will take me to.
Yes, useless. They really have to have a marker beside line numbers
and ability to unset them.
I use them, therefore they fail the sniff test for "useless".
:-) Moreover, jump marks function as a history of where you've
been in the document; so unless you fancy having your line
number bar cluttered with little tick marks, each including a
jump point, knowing that a particular line contains a jump point
is, uh, unuseful.
Note also that there are plenty of other ways to mark positions
in your document, some of them automatic, some of them not, but
all of them workable: function detection which lists items on
the function menu; "#pragma mark" and its equivalents for
various languages; marks set with "Set Mark" (which are also
openable and navigable using the keyboard)...
But bookmarks require names. Also your suggestion about assigning
shortcuts is not that useful because I need to have ability to jump
backwards and forwards with a single keystroke, F2 or F4 in several
editors.
...including BBEdit. You can assign an Fn key to any menu
command, including the Jump Mark commands on the Search menu, in
the Menus & Shortcuts preferences. Try it. Personally I find the
Fn keys to be less than completely useful, because in order to
employ one, I have to reach far enough away from my home row
that it breaks my typing flow pretty severely. But "there can be
no argument where matters of taste are concerned".
R.
--
Rich Siegel Bare Bones Software, Inc.
<[email protected]> <http://www.barebones.com/>
Someday I'll look back on all this and laugh... until they
sedate me.
--
You received this message because you are subscribed to the
"BBEdit Talk" discussion group on Google Groups.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
<http://groups.google.com/group/bbedit?hl=en>
If you have a feature request or would like to report a problem,
please email "[email protected]" rather than posting to the group.
Follow @bbedit on Twitter: <http://www.twitter.com/bbedit>
