Commit History

Author SHA1 Message Date
  Daniele Bartolini 13d6bd7e41 tools: restore correct visibility on map() 3 months ago
  Daniele Bartolini 06097f547a tools: cleanup 4 months ago
  Daniele Bartolini 17e96a7834 tools: make the Expander's header a bit taller 8 months ago
  Daniele Bartolini a5c458f01d tools: stop using GtkWidget event signals 8 months ago
  Daniele Bartolini 5498036ae9 tools: only primary buttons toggle state 10 months ago
  Daniele Bartolini bc3c23eb3b tools: add Expander 11 months ago