> On Sep 10, 2015, at 11:27, Juergen Werner <wern...@gmx.net> wrote:
>
> Is it possible to adjust the page numbers in the notes window? The
> highlighted text and colors can be edited here, but doing this with page
> numbers would be great, as sometimes the pages numbers are not the actual
> page numbers from the document. Editing the page numbers after exporting the
> highlights is only an unsatisfactory work around.
> Thanks for any hints on improving the workflow!
Not sure what you mean exactly. Are you talking about the notes window
displaying a .skim file? That cannot be edited, these are the actual page
indexes, and changing those would put the nots on the wrong page. The page
label (i.e. user visible page number, which is not necessarily the same as the
page index) is not known by the notes and therefore is not part of the notes
data, this is part of the PDF data. It is possible to change the way the text
representation of the notes data (export notes as text or rtf) is exported.
Christiaan
------------------------------------------------------------------------------
Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
Get real-time metrics from all of your servers, apps and tools
in one place.
SourceForge users - Click here to start your Free Trial of Datadog now!
http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users
