diff --git a/src/com/jetbrains/php/tools/quality/phpstan/PhpStanOptionsPanel.java b/src/com/jetbrains/php/tools/quality/phpstan/PhpStanOptionsPanel.java index 750691c..2ae38f9 100644 --- a/src/com/jetbrains/php/tools/quality/phpstan/PhpStanOptionsPanel.java +++ b/src/com/jetbrains/php/tools/quality/phpstan/PhpStanOptionsPanel.java @@ -54,7 +54,7 @@ protected void textChanged(@NotNull DocumentEvent e) { } private void createUIComponents() { - myJBIntSpinner = new JBIntSpinner(4, 0, 8); + myJBIntSpinner = new JBIntSpinner(4, 0, 99); } @Override