Page marking menu
Marking menu tools


The page marking menu:

Page Marking Menu Page Marking Menu with tool in hand

Create auxiliary text

New Place (Create Place)

New Transition (Create Transition)

Drop Tool

Undo

Redo