3 Commits

Author	SHA1	Message	Date
luz paz	38815b9550	Gui: Fix header uniformity, whitespace, and doxygen fixes	2020-11-26 10:14:56 +01:00
wmayer	a7b4b11d9d	Gui: [skip ci] improve search function in parameter editor to jump from one top-level item to the sibling item	2020-03-16 17:19:53 +01:00
wmayer	743e548363	add search function to parameter editor	2019-04-05 23:59:21 +02:00