14 Commits

Author	SHA1	Message	Date
Dustin Carlino	ebf31c33e6	preserve plot settings over time. also dropdowns	2020-04-06 14:05:59 -07:00
Dustin Carlino	fadae3aa85	improve checkbox API, use it for colored minimap checkboxes	2020-04-06 11:12:23 -07:00
Dustin Carlino	5ba468f4cf	SVG border-radius is sometimes a lie. mimic the dirty trick.	2020-04-03 13:22:05 -07:00
Dustin Carlino	69dab9e27d	typography overhaul... [rebuild]	2020-03-26 15:42:37 -07:00
Dustin Carlino	7edb8a6190	rename Widget -> WidgetImpl, ManagedWidget -> Widget	2020-03-20 23:41:07 -07:00
Dustin Carlino	81c5ae3700	consolidate ezgui internals a little, and start a little bit of rustdoc	2020-03-20 18:05:50 -07:00
Dustin Carlino	b08c2caa12	wittle down more old button constructors. also improve splash screen style.	2020-03-18 11:45:20 -07:00
Dustin Carlino	fedacfe202	reduce verbosity of constructing text widgets [rebuild]	2020-03-13 23:06:52 -07:00
Dustin Carlino	599a9abd34	document ezgui example	2020-03-06 12:21:36 -08:00
Dustin Carlino	a8f862f83d	fleshing out the ezgui demo, and fixing a little bug with checkboxes	2020-03-06 10:31:08 -08:00
Dustin Carlino	b835f8a6f7	unused deps	2020-03-06 08:27:00 -08:00
Dustin Carlino	250b59bfee	generalize checkboxes slightly. use in demo	2020-03-04 15:55:44 -08:00
Dustin Carlino	0fd4de749d	enter signal metadata via a form with multiple textboxes at once. needs ... work.	2020-03-04 15:33:28 -08:00
Dustin Carlino	9525b11b20	start a standalone ezgui example	2020-03-03 16:24:27 -08:00