MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-06 06:21:16 +07:00
Code Issues Packages Projects Releases Wiki Activity

fix layout in "Custom Plugin Repositories" dialog

Browse Source
This commit is contained in:
Aleksey Pivovarov
2015-05-15 13:51:24 +03:00
parent b09d8bf1de
commit dc5d555b31
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginHostsConfigurable.java
+2 -1
View File
@@ -17,6 +17,7 @@ package com.intellij.ide.plugins;
import com.intellij.ide.IdeBundle;
import com.intellij.openapi.options.BaseConfigurable;
import com.intellij.openapi.options.Configurable;
import com.intellij.openapi.options.ConfigurationException;
import com.intellij.openapi.progress.ProgressIndicator;
import com.intellij.openapi.progress.ProgressManager;
@@ -44,7 +45,7 @@ import java.awt.event.ActionEvent;
import java.util.ArrayList;
import java.util.List;
public class PluginHostsConfigurable extends BaseConfigurable {
public class PluginHostsConfigurable extends BaseConfigurable implements Configurable.NoScroll {
private CustomPluginRepositoriesPanel myUpdatesSettingsPanel;
@Override