3 Commits

Author	SHA1	Message	Date
Philipp Kühn	9e1bb182db	fix some types	2020-08-21 21:01:41 +02:00
Philipp Kühn	b24d7fac30	add focus option type	2020-08-21 20:33:57 +02:00
Philipp Kühn	71c3927b28	add focus extension	2020-08-21 17:32:47 +02:00