3 commits

Author	SHA1	Message	Date
Martin Rotter	f12c395e80	experimentally separate executable and core library	2019-06-10 09:54:18 +02:00
Martin Rotter	67db4ede25	New "find" dialog for web browser.	2017-10-25 09:39:55 +02:00
Martin Rotter	cf72e2c6e1	Fix headers, initial widget for text finding.	2017-10-25 07:20:47 +02:00