he text, so you won't be able to > select it. We already override it so far that you can select behind > transparent parts of the highlight (something PDFKit cannot do). But > we cannot do this for non-transparent parts. That would make it > impossible to select the highlight.
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 ------------------------------------------------------------------------- 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
