jean-pierre charras 8e6fe0eaf0 Gerbview settings: store option "Page Limits" in gerbview config.
Previously this appearance option in Layer Manager was not stored.
2024-02-14 11:21:55 +01:00
..
2023-12-13 11:49:34 -05:00
2022-08-31 23:57:24 +01:00
2023-09-19 17:23:30 -04:00
2023-11-29 16:17:41 +00:00
2022-08-31 23:57:24 +01:00
2024-02-09 15:55:57 -08:00
2024-02-09 15:55:57 -08:00