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

remote table header

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-03-06 13:15:35 +01:00
parent 99540a300f
commit 754e7d951d
2 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/AvailablePluginsManagerMain.java
-5
View File
@@ -96,11 +96,6 @@ public class AvailablePluginsManagerMain extends PluginManagerMain {
model.setVendor(myVendorFilter);
pluginsModel = model;
pluginTable = new PluginTable(pluginsModel);
pluginTable.getTableHeader().setReorderingAllowed(false);
//pluginTable.setColumnWidth(PluginManagerColumnInfo.COLUMN_DOWNLOADS, 70);
//pluginTable.setColumnWidth(PluginManagerColumnInfo.COLUMN_DATE, 80);
//pluginTable.setColumnWidth(PluginManagerColumnInfo.COLUMN_RATE, 80);
return ScrollPaneFactory.createScrollPane(pluginTable);
}
platform/platform-impl/src/com/intellij/ide/plugins/PluginTable.java
+1
View File
@@ -56,6 +56,7 @@ public class PluginTable extends JBTable {
setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
setShowGrid(false);
setStriped(true);
this.setTableHeader(null);
setTransferHandler(new TransferHandler() {
@Nullable
@Override