workbench.desktop.main.js · part 103

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

File contents and all parts · All files

Box Layout Mode

Configures the packing mode used by the {@link BoxLayoutProvider}. If SIMPLE is not required (neither priorities are used nor the interactive mode), GROUP_DEC can improve the packing and decrease the area. GROUP_MIXED and GROUP_INC may, in very specific scenarios, work better.

Shape Coords

For layouts transferred into JSON graphs, specify the coordinate system to be used for nodes, ports, and labels of nodes and ports.

Edge Coords

For layouts transferred into JSON graphs, specify the coordinate system to be used for edge route points and edge labels.

Comment Comment Spacing

Spacing to be preserved between a comment box and other comment boxes connected to the same node. The space left between comment boxes of different nodes is controlled by the node-node spacing.

Comment Node Spacing

Spacing to be preserved between a node and its connected comment boxes. The space left between a node and the comments of another node is controlled by the node-node spacing.

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.