.. 0.9.0-disabled.gif demo-2020-08-21.png demo-2020-10-24.png demo-2021-01-02.png demo-2021-01-17.gif demo.gif egui-0.10-plot.gif egui-0.15-code-editor.gif light_theme.png pompodoro-skin.png widget_gallery.gif widget_gallery_0.8.0.gif