Message-ID: <68C4609F-06B4-4AF6-92E0-5F3CD873D439@xs4all.nl>
Date: 2011-05-25T16:50:29Z
From: Berend Hasselman
Subject: ?> as a valid help request
In-Reply-To: <E5D16122-4D01-4A42-96AC-F1C3E66E349E@ed.ac.uk>
On 25-05-2011, at 18:32, Timothy Bates wrote:
>> just do
>> '?>'
> On 25 May 2011, at 5:20 PM, Marc Schwartz wrote:
>> ?>
>> Error: unexpected '>' in ??>?
>
>
> Thanks Mark and Ian,
> Glad it?s a straightforward and memorable workaround. And this is easy in the new GUI (which adds quotes around a selection. Still wish that the error told me that was a likely cause: I just assumed it was impossible to search on.
>
> Followup GUI query: Is there a was to go to the beginning of the command line directly? My method is to cmd-right select the line, then use right arrow to fall off the end of the selection leaving the cursor at the start (ready to type a ?)
>
> This fails: The right arrow just does nothing?
Command-left arrow
Ctrl-A
And you can create a DefaultKeyBinding.dict in the directory ~/Library/Keybindings with a mapping of the Home to the Cocoa cursor command "moveToBeginningOfLine:".
See http://www.hcs.harvard.edu/~jrus/site/cocoa-text.html
For example, if you have a DefaultKeyBinding.dict file containing
{
/* home Shift+home*/
"\UF729" = "moveToBeginningOfLine:";
"$\UF729" = "moveToBeginningOfLineAndModifySelection:";
/* end Shift+end*/
"\UF72B" = "moveToEndOfLine:";
"$\UF72B" = "moveToEndOfLineAndModifySelection:";
}
Home will move the cursor to the start of a line
End will move the cursor to the end of a line
Combined with a shift key, these will select from the current cursor position to the start/end of line.
Berend