Fix theming and confirm loss UI

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols

https://cispa.saarland/group/cremers/scyther/index.html

96 stars 38 forks source link

Fix theming and confirm loss UI #37

Closed SamJakob closed 10 months ago

SamJakob commented 10 months ago

Fixes line numbering colors in dark mode. (They used to appear black-on-black, now they are white-on-black). Also fixes some confusing aspects of the "confirm delete unsaved changes" dialog.

cascremers commented 10 months ago

Checked and approved. Thanks!