I'm developing a Vaadin widget and I'm having problems with GWT's superDevMode. Yesterday I had a bug which did not show up when setting Dev Mode On (using the bookmark), but did when setting Dev Mode Off.
Today I have unwanted behaviour when setting Dev Mode On, while with Dev Mode Off the behaviour is as expected.
Does anyone have a clue what might be causing this? Maybe a compiler setting?
Turned out the problem was that I forgot to recompile the WidgetSet in Eclipse before starting the server, so when loading the page (before setting Dev Mode on) the WidgetSet would not have the latest changes. When setting Dev Mode on, the WidgetSet would be recompiled and thus incorporate the latest changes.