Jeremy Soller eef1f2407b Mark redraw after page up/page down		2022-10-12 14:43:12 -06:00
..
cosmic	feat: Add minimize window support to headerbar	2022-10-11 15:34:30 +02:00
settings	New approach to the HeaderBar widget	2022-10-09 12:56:47 +02:00
text	Mark redraw after page up/page down	2022-10-12 14:43:12 -06:00