Prioritized Labels

Drag to reorder prioritized labels and change their relative priority.

Other Labels

  • blocker
    Snehal Shekatkar / graph-tool
  • feature request
    Snehal Shekatkar / graph-tool