9 Commits

Include renames

Author	SHA1	Message	Date
Cedric Roux	4511fe7778	add key modifiers to button event	2016-05-19 15:28:28 +02:00
Cedric Roux	944dad4caa	GUI timeline widget	2016-05-12 17:03:07 +02:00
Cedric Roux	16e17d346f	positioner widget - the child is positioned in the middle, does not grow	2016-05-04 17:27:32 +02:00
Cedric Roux	d4a4bba32e	minor fix - remove unused variable	2016-05-04 15:55:24 +02:00
Cedric Roux	deefb1854f	delete children widget	2016-05-04 15:21:52 +02:00
Cedric Roux	042f284bc2	introduce widget_dirty - not only text list might want the optimization	2016-05-02 14:33:07 +02:00
Cedric Roux	e742718c2d	handle button press/release ... first version, to be finished	2016-04-28 17:10:55 +02:00
Cedric Roux	062f7fad97	add clear function to the gui	2016-04-11 18:31:37 +02:00
Cedric Roux	2bb04f0105	first version of the generic gui for the tracer	2016-04-11 11:18:26 +02:00