Skip to content

Commit

Permalink
plugin-panel: stick plugin hub button to bottom of plugin list
Browse files Browse the repository at this point in the history
  • Loading branch information
dekvall authored and Adam- committed Nov 25, 2020
1 parent 922c5e3 commit 2357fa2
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -179,11 +179,11 @@ public void changedUpdate(DocumentEvent e)
externalPluginButton.setBorder(new EmptyBorder(5, 5, 5, 5));
externalPluginButton.setLayout(new BorderLayout(0, BORDER_OFFSET));
externalPluginButton.addActionListener(l -> muxer.pushState(pluginHubPanelProvider.get()));
add(externalPluginButton, BorderLayout.SOUTH);

JPanel northPanel = new FixedWidthPanel();
northPanel.setLayout(new BorderLayout());
northPanel.add(mainPanel, BorderLayout.NORTH);
northPanel.add(externalPluginButton, BorderLayout.SOUTH);

scrollPane = new JScrollPane(northPanel);
scrollPane.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
Expand Down

0 comments on commit 2357fa2

Please sign in to comment.