Make margins & header font match widgets - SemanticDiff

Commit

5 years ago

Make margins & header font match widgets

References

#5446 - Add UI for hold functionality

Author

dbkr

dbkr

Parents

Loading