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 highlightthe actual PDF text. Possibly even a switch in the tool bar or so. Cheers, /CAI 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.ChristiaanThere 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.
PGP.sig
Description: This is a digitally signed message part
------------------------------------------------------------------------- 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
