mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[vcs-log] use dpi-aware borders, simplify borders creation
This commit is contained in:
@@ -46,7 +46,6 @@ import org.jetbrains.annotations.NotNull;
|
||||
import org.jetbrains.annotations.Nullable;
|
||||
|
||||
import javax.swing.*;
|
||||
import javax.swing.border.EmptyBorder;
|
||||
import java.awt.*;
|
||||
import java.util.Collection;
|
||||
import java.util.Comparator;
|
||||
@@ -112,7 +111,7 @@ public class GoToHashOrRefPopup {
|
||||
panel.setLayout(layout);
|
||||
panel.add(label);
|
||||
panel.add(myTextField);
|
||||
panel.setBorder(new EmptyBorder(2, 2, 2, 2));
|
||||
panel.setBorder(JBUI.Borders.empty(2));
|
||||
|
||||
myPopup = JBPopupFactory.getInstance().createComponentPopupBuilder(panel, myTextField.getPreferableFocusComponent())
|
||||
.setCancelOnClickOutside(true).setCancelOnWindowDeactivation(true).setCancelKeyEnabled(true).setRequestFocus(true).createPopup();
|
||||
|
||||
@@ -80,9 +80,9 @@ public class CommitPanel extends JBPanel {
|
||||
|
||||
myRootPanel = new RootPanel();
|
||||
myBranchesPanel = new ReferencesPanel();
|
||||
myBranchesPanel.setBorder(JBUI.Borders.empty(REFERENCES_BORDER, 0, 0, 0));
|
||||
myBranchesPanel.setBorder(JBUI.Borders.emptyTop(REFERENCES_BORDER));
|
||||
myTagsPanel = new ReferencesPanel();
|
||||
myTagsPanel.setBorder(JBUI.Borders.empty(REFERENCES_BORDER, 0, 0, 0));
|
||||
myTagsPanel.setBorder(JBUI.Borders.emptyTop(REFERENCES_BORDER));
|
||||
myDataPanel = new DataPanel(myLogData.getProject());
|
||||
myContainingBranchesPanel = new BranchesPanel();
|
||||
|
||||
|
||||
Reference in New Issue
Block a user