formatting
Introduce an unsaved corpora import method.
fixes #178
fixes #179
Adopt the AnnisAdminRunner to the save import corpora methods.
stuff
updating to vaadin 7.1.2
handle more kinds of errors
dummy implementation
select filtered corpus and put some calculcations in the background
never select a corpus in the background which the user can't see
remove some unneded computational work
do even more computations in the background in order to make the reaction on a corpus selection faster
force Tomcat to use J2EE class-loading behavior
Fixes #176
Restrict the characters of the "Result for:" label in the result view panel.
reverting the update to Vaadin 7.1.2 until we find out why push does not work any longer with Tomcat 6
making the compilation of SCSS work again
updating jetty:run to jetty 9
Add html 5 doctype to gridtree vis.
Add msie check to IFrame widget.