wmllint gui: fixed a bug in regexp handling
wmllint gui: made some options in the wmlscope tab evenly spaced