3 Commits

Author	SHA1	Message	Date
pmario	3c888992a8	add options.hasDom to widgets, that create DOM elements	2024-04-25 16:59:05 +02:00
Joe Bordes	82ec63e711	style(App) eliminate whitespace at the end of code lines (#5735)	2021-05-30 19:20:17 +01:00
Jermolene	8cc10d87d4	Added missing RawWidget ... Fixes #298. Thanks to @buggyj for pointing it out.	2013-12-21 16:11:48 +00:00