3 Commits

Author	SHA1	Message	Date
luz paz	298c677873	Gui: Fix header uniformity, whitespace, and doxygen fixes	2020-11-26 10:14:56 +01:00
wmayer	518fd0c042	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	8f8473a212	add search function to parameter editor	2019-04-05 23:59:21 +02:00