Dominik Jansen

> @grebaldi i actually like to discuss the naming of the new editor. When i read "button editor" in the pr title i didnt really understand what the editor might...

Ahh, right - haven't added the other email to my account. Thanks! (As you probably saw, first real GitHub commit) If I can avoid using !important as easy as with...

No, you are right. But `control` is a generated element - there shouldn't be any styles at this stage. And it would only unset inline-styles.

Why set styles at all? There is a stylesheet delivered in the package. Shouldn't that be enough? Am 13.08.2013 23:03 schrieb "Marc J. Schmidt" [email protected]: > So, the new option...

Yeah that's right, so the setting is a `disable` one, so that by default it wouldn't change anything for upgrading users.

+1 > Is there any updates here? [@drwpow](https://github.com/drwpow) [@semanser](https://github.com/semanser) , this is pretty much blocking me Yep, it did block us too. Solved it with `sed -E -i 's|/:([^/"]+)|/{\1}|g' api.ts`...