Поскольку вы используете Spring Boot, я предполагаю, что вы предпочтете, когда это возможно, полагаться на автоматическую настройку Spring. Чтобы добавить дополнительную настраиваемую конфигурацию, например, ваши перехватчики, просто укажите конфигурацию или компонент WebMvcConfigurerAdapter
.
Вот пример класса конфигурации:
@Configuration
public class WebMvcConfig extends WebMvcConfigurerAdapter {
@Autowired
HandlerInterceptor yourInjectedInterceptor;
@Override
public void addInterceptors(InterceptorRegistry registry) {
registry.addInterceptor(...)
...
registry.addInterceptor(getYourInterceptor());
registry.addInterceptor(yourInjectedInterceptor);
// next two should be avoid -- tightly coupled and not very testable
registry.addInterceptor(new YourInterceptor());
registry.addInterceptor(new HandlerInterceptor() {
...
});
}
}
ПРИМЕЧАНИЕ не комментируйте это с @EnableWebMvc, если вы хотите сохранить автоматическую конфигурацию Spring Boots для mvc .
Вы не должны изменять его в jquery-ui css файл (это может сбивать с толку при изменении файлов по умолчанию) это достаточно, если Вы добавляете
div.ui-datepicker{
font-size:10px;
}
в таблице стилей, загруженной после ui-файлов
, div.ui-datepicker необходим в случае, если ui-виджет упоминается после ui-datepicker в объявлении
Я думаю, что нашел его - я должен был войти в файл CSS и изменить размер шрифта для управления datepicker непосредственно. Очевидный, как только Вы знаете об этом, но путающий сначала.
Я изменяю следующую строку в ui.theme.css:
.ui-widget { font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif; font-size: 1.1em; }
к:
.ui-widget { font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif; font-size: 12px; }
Я не могу добавить комментарий, так что это ссылка на принятый ответ Кейджро. Вместо этого я добавил в свою таблицу стилей следующее:
div.ui-datepicker {
font-size: 62.5%;
}
, и это тоже сработало. Это может быть предпочтительнее абсолютного значения 10 пикселей.
open ui.all.css
at the end put
@import "ui.base.css";
@import "ui.theme.css";
div.ui-datepicker {
font-size: 62.5%;
}
and go !