Layout rework of Legend options (!2) · Merge requests · CDS / software / dtt · GitLab

Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 30 April 2024 starting at approximately 9am PDT. It is expected to take around twenty minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.

Erik von Reis requested to merge erik.vonreis/dtt:layoutrework into v0_3_0 Aug 18, 2020

More structured coding of options layout. Better use of groupings. This is an attempt to fix inconsistencies in layout from one system to the next.

Fixed size of options tab increased. Pads made more lenient on when they can draw options tabs. Hopefulley closes #170 (closed).