update jQuery UI and theme, use spinners for slider type in in property editor