Editor werkbalk


Selectiegereedschap
Selecteert het selectiegereedschap. Wanneer dit gereedschap is geslecteerd, kan je toppen en bogen selecteren in de graaf. Vervolgens kan je ze naar een andere locatie slepen of verwijderen.

Creatiegereedschap
Selecteert het creatiegereedschap. Wanneer dit gereedschap is geslecteerd, kan je nieuwe toppen creëren door op de gewenste positie te klikken. Als je een nieuwe boog wil maken, klik je gewoon op het eerste eindpunt en sleept naar het tweede eindpunt. Als je niet op een bestaande top stopt, zal er een nieuwe top geplaatst worden op de locatie waar je de muis losliet. Als je op een boog klikt, zal deze gesplitst worden en een nieuwe boog zal worden toegevoegd.

Ongedaan maken
Maakt elke actie die in het editorvenster gemaakt werd ongedaan.

Opnieuw
Herdoet elke actie die eerder ongedaan gemaakt werd.


Autouitlijning
Activeert de automatische uitlijning. Hierdoor wordt elke nieuwe top automatisch verplaatst naar het dichtsbijzijnde punt in de huidige gids.

Lijn selectie uit
Verplaatst alle geselecteerde toppen naar de dichtsbijzijnde punten in de huidige gids.

Alles uitlijnen
Verplaatst alle toppen naar de dichtsbijzijnde punten in de huidige gids.

Gidsen
Laat je een nieuwe gids selecteren. De afbeelding toont de huidige gids.


Leegmaken
Maakt de tekenzone leeg.


Spring Embedder
Terwijl deze knop ingedrukt wordt, zal de editor de toppen automatisch herpositioneren om een meer gebalanceerd beeld van te graaf te geven.


Snapshot
Neemt een foto van de huidige graaf in de editor. Deze foto wordt dan toegevoegd aan de grafenlijst naast het tekengebied. Vanuit deze list kan je de graaf dan naar een andere locatie in GrInvIn slepen zoals een andere grafenlijst of het conjecturing venster .