Artifact 5dffdf94a0d5498127b6fd3ed31c66edc0892bde8dd2b6e0b2a7b4e6d346a9b5:
- File html/gui.html — part of check-in [64c2c60322] at 2022-11-12 15:25:51 on branch trunk — introduce plugin_icon() for gui window (user: mario, size: 12084) [annotate] [blame] [check-ins using]