workbench.glass.main.js · part 140

60 text occurrences from desktop/Cursor.app/Contents/Resources/app/out/vs/workbench/workbench.glass.main.js, part 140. Every entry preserves the shipped literal and its saved verdict or selection reason.

File contents and all parts · All files

Components Spacing

Spacing to be preserved between pairs of connected components. This option is only relevant if 'separateConnectedComponents' is activated.

Edge Spacing

Spacing to be preserved between any two edges. Note that while this can somewhat easily be satisfied for the segments of orthogonally drawn edges, it is harder for general polylines or splines.

Edge Label Spacing

The minimal distance to be preserved between a label and the edge it is associated with. Note that the placement of a label is influenced by the 'edgelabels.placement' option.

Edge Node Spacing

Spacing to be preserved between nodes and edges.

Label Spacing

Determines the amount of space to be left between two labels of the same graph element.

Label Node Spacing

Spacing to be preserved between labels and the border of node they are associated with. Note that the placement of a label is influenced by the 'nodelabels.placement' option.

Horizontal spacing between Label and Port

Horizontal spacing to be preserved between labels and the ports they are associated with. Note that the placement of a label is influenced by the 'portlabels.placement' option.

Vertical spacing between Label and Port

Vertical spacing to be preserved between labels and the ports they are associated with. Note that the placement of a label is influenced by the 'portlabels.placement' option.

Node Spacing

The minimal distance to be preserved between each two nodes.

Node Self Loop Spacing

Spacing to be preserved between a node and its self loops.

Port Spacing

Spacing between pairs of ports of the same node.

Individual Spacing

Allows to specify individual spacing values for graph elements that shall be different from the value specified for the element's parent.

Additional Port Space

Additional space around the sets of ports on each node side. For each side of a node, this option can reserve additional space before and after the ports on each side. For example, a top spacing of 20 makes sure that the first port on the western and eastern side is 20 units away from the northern border.

Layout Partition

Partition to which the node belongs. This requires Layout Partitioning to be active. Nodes with lower partition IDs will appear to the left of nodes with higher partition IDs (assuming a left-to-right layout direction).

Layout Partitioning

Whether to activate partitioned layout. This will allow to group nodes through the Layout Partition option. a pair of nodes with different partition indices is then placed such that the node with lower index is placed to the left of the other node (with left-to-right layout direction). Depending on the layout algorithm, this may only be guaranteed to work if all nodes have a layout partition configured, or at least if edges that cross partitions are not part of a partition-crossing cycle.

Node Label Padding

Define padding for node labels that are placed inside of a node.

Node Label Placement

Hints for where node labels are to be placed; if empty, the node label's position is not modified.

Port Alignment

Defines the default port distribution for a node. May be overridden for each side individually.

Port Alignment (North)

Defines how ports on the northern side are placed, overriding the node's general port alignment.

Port Alignment (South)

Defines how ports on the southern side are placed, overriding the node's general port alignment.

Port Alignment (West)

Defines how ports on the western side are placed, overriding the node's general port alignment.

Port Alignment (East)

Defines how ports on the eastern side are placed, overriding the node's general port alignment.

Node Size Constraints

What should be taken into account when calculating a node's size. Empty size constraints specify that a node's size is already fixed and should not be changed.

Node Size Options

Options modifying the behavior of the size constraints set on a node. Each member of the set specifies something that should be taken into account when calculating node sizes. The empty set corresponds to no further modifications.

Node Size Minimum

The minimal size to which a node can be reduced.

Fixed Graph Size

By default, the fixed layout provider will enlarge a graph until it is large enough to contain its children. If this option is set, it won't do so.

Edge Label Placement

Gives a hint on where to put edge labels.

Inline Edge Labels

If true, an edge label is placed directly on its edge. May only apply to center edge labels. This kind of label placement is only advisable if the label's rendering is such that it is not crossed by its edge and thus stays legible.

Font Name

Font name used for a label.

Font Size

Font size used for a label.