Die meisten hier aufgeführten Variablen beeinflussen größtenteils das äußere Erscheinungsbild von GRAPHitty. Wenn Sie permanente Veränderungen vornehmen wollen, so tuen Sie dies am besten in der
Variable |
Init Value |
Funktion |
G
|
-
|
Beinhaltet den internen Namen des aktuellen Graphen. Wenn Operationen über die Shell ausgeführt werden, sollte immer diese Variable als Argument für den aktuellen Graphen angegeben werden. Explizite Namen sind nicht sicher, da sie häufig variieren. Ist erst nach der Initialisierung von GRPHitty existent!
|
prim
|
-
|
Beinhaltet den internen Namen der aktuellen primary selection. Wenn Operationen über die Shell ausgeführt werden, sollte immer diese Variable als Argument für die aktuelle primary selection angegeben werden. Explizite Namen sind nicht sicher, da sie häufig variieren. Ist erst nach der Initialisierung von GRPHitty existent!
|
sec
|
-
|
Beinhaltet den internen Namen der aktuellen secondary selection. Wenn Operationen über die Shell ausgeführt werden, sollte immer diese Variable als Argument für die aktuelle secondary selection angegeben werden. Explizite Namen sind nicht sicher, da sie häufig variieren. Ist erst nach der Initialisierung von GRPHitty existent!
|
ScrollbarSize
|
10
|
Bestimmt die Größe der Scrollbars
|
ButtonTableWidth
|
15m
|
Bestimmt die Breite der Buttons.
|
BorderWidth
|
1
|
Bestimmt die Breite des Randes um alle Objekte.
|
WorkspaceBackgroundColor
|
lightGrey
|
Bestimmt die Farbe des Hintergrundes des Workspace.
|
ShellBackgroundColor
|
black
|
Bestimmt die Farbe des Hintergrundes der Shell.
|
ShellForegroundColor
|
green
|
Bestimmt die Farbe des Vordergrundes der Shell.
|
ShellHeight
|
25
|
Bestimmt die Höhe der Shell.
|
NodeSize
|
10
|
Bestimmt den Radius eines Knotens bei 1:1 Zoom.
|
zoom
|
1
|
Bestimmt die voreingestellte Stärke für den Zoom.
|
EdgeWidth
|
1
|
Bestimmt die Stärke der Kanten.
|
SelectEdgeWidth
|
1
|
Bestimmt die Stärke der Kanten, wenn sie sich unter dem Mauscursor befinden.
|
EdgeSpace
|
50
|
Bestimmt den Abstand zwischen Mehrfachkanten.
|
hide_node_attr
|
"item"
|
Eine Liste der Knotenattribute, die in GRAPHitty nicht angezeigt werden. "item" sollte hier immer enthalten bleiben, da dieses Attribut systeminterne Werte beinhaltet und auf keinen Fall manuell verändert werden darf.
|
hide_edge_attr
|
"item"
|
Eine Liste der Kantenattribute, die in GRAPHitty nicht angezeigt werden. "item" sollte hier immer enthalten bleiben, da dieses Attribut systeminterne Werte beinhaltet und auf keinen Fall manuell verändert werden darf.
|
NodeOutlineColor
|
black
|
Bestimmt die Umrissfarbe eines Knotens.
|
NodeFillColor
|
white
|
Bestimmt die Füllfarbe eines Knotens.
|
EdgeColor
|
black
|
Bestimmt die Farbe der Kanten.
|
SelectPrimColor
|
red
|
Bestimmt die Farbe der Objekte, die sich in der primary selection befinden.
|
SelectSecColor
|
blue
|
Bestimmt die Farbe der Objekte, die sich in der secondary selection befinden.
|
SelectBothColor
|
red
|
Bestimmt die Farbe der Objekte, die sich in der primary und der secondary selection befinden.
|
geom
|
90x30
|
Bestimmt die Geometrie des Hauptfensters (Höhe, Breite und Position).
|
helpdir
|
/usr/local/ bin/GRAPHitty/help
|
Gibt den Pfad zum help Verzeichnis von Graphitty an. Muß richtig gesetzt sein, damit GRAPHitty einwandfrei arbeiten kann.
|
gydir
|
/usr/local/ bin/GRAPHitty
|
Gibt den Pfad zum Stammverzeichnis von Graphitty an. Muß richtig gesetzt sein, damit GRAPHitty einwandfrei arbeiten kann.
|