Dennis
Dennis
1.7.2
Hi Rob, I've updated your "jquery-annotated-source" to jQuery 1.7.2. Maybe you can take it as your new master and update your gh-pages as well. Regards Dennis
In HTML there is a shortcut for “Unwrap/Remove...” for removing HTML tags. This would be a really useful feature for removing widgets in Flutter. Instead of using the option “Remove...