On 7 Apr 2008, at 6:39 PM, Gregory Cooksey wrote:

> On Apr 7, 2008, at 11:28 AM, Christiaan Hofman wrote:
>>
>>
>>> On Mon, Apr 7, 2008 at 5:20 PM, Christiaan Hofman <[EMAIL PROTECTED] 
>>> > wrote:
>>>
>>>> On 7 Apr 2008, at 4:39 PM, Claus Atzenbeck wrote:
>>>>
>>>> What about an alternative behavior? The standard behavior would  
>>>> select
>>>> the highlight (as it is now), an additional key pressed (whatever  
>>>> one
>>>> would be available) would force Skim to ignore any mark and  
>>>> highlight
>>>> the actual PDF text. Possibly even a switch in the tool bar or so.
>>>>
>>>> Cheers,
>>>> /CA
>>>
>>> I wouldn't know of any key. All modifiers are used, and non- 
>>> modifier keys are out of the question. So "whatever would be  
>>> available" would translate to "none" AFAICS.
>>>
>>> Christiaan
>>
>> There is a possibility using Caps Lock. However this is not a good  
>> idea to do by default, because it is a sticky key, and people often  
>> have it on by accident. So users would get confused and will  
>> complain they cannot select notes anymore (you can be sure about  
>> that). In the next release this will be a hidden feauture that can  
>> be turned on using a hidden preference (se the Wiki for hidden  
>> prefs).
>
> What about a combination of modifier keys, like Shift + Option, or  
> Ctrl + Option?  I'd also like to be able to select text underneath a  
> highlighted section, but I think Caps Lock would be a really strange  
> modifier key to use.

No. Any of these modifiers have different meaning, either for  
selecting notes or for selecting text, or some other function. That  
would interfere, it simply cannot work. Caps key is really the only  
modifier that's available (I went through the whole list). It's indeed  
a strange key to use, that's part of the reason this will be a hidden  
feature.

Christiaan



-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference 
Register now and save $200. Hurry, offer ends at 11:59 p.m., 
Monday, April 7! Use priority code J8TLD2. 
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
Skim-app-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/skim-app-users

Reply via email to