mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-159965 reload links style on UI update e.g. when switching LaF
This commit is contained in:
@@ -181,7 +181,6 @@ class CommitPanel extends JBPanel {
|
||||
caret.setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
|
||||
|
||||
setBorder(JBUI.Borders.empty(BOTTOM_BORDER, ReferencesPanel.H_GAP, 0, 0));
|
||||
customizeLinks();
|
||||
}
|
||||
|
||||
@Override
|
||||
@@ -214,7 +213,7 @@ class CommitPanel extends JBPanel {
|
||||
}
|
||||
}
|
||||
|
||||
private void customizeLinks() {
|
||||
private void customizeLinksStyle() {
|
||||
Document document = getDocument();
|
||||
if (document instanceof HTMLDocument) {
|
||||
StyleSheet styleSheet = ((HTMLDocument)document).getStyleSheet();
|
||||
@@ -257,6 +256,7 @@ class CommitPanel extends JBPanel {
|
||||
getBranchesText() +
|
||||
"</body></html>");
|
||||
}
|
||||
customizeLinksStyle();
|
||||
revalidate();
|
||||
repaint();
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user