diff --git a/platform/platform-api/src/com/intellij/ide/GeneralSettings.java b/platform/platform-api/src/com/intellij/ide/GeneralSettings.java index 41628c0622df..67f88d9ad1e5 100644 --- a/platform/platform-api/src/com/intellij/ide/GeneralSettings.java +++ b/platform/platform-api/src/com/intellij/ide/GeneralSettings.java @@ -15,6 +15,7 @@ */ package com.intellij.ide; +import com.intellij.ide.ui.UINumericRange; import com.intellij.ide.util.PropertiesComponent; import com.intellij.openapi.components.PersistentStateComponent; import com.intellij.openapi.components.ServiceManager; @@ -179,18 +180,18 @@ public class GeneralSettings implements PersistentStateComponent