Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
blocker
Jérôme Benoit / graph-tool
feature request
Jérôme Benoit / graph-tool
Prioritized label
Drag to reorder prioritized labels and change their relative priority.