mirror of
https://github.com/magefree/mage.git
synced 2025-12-20 10:40:06 -08:00
GUI: fixed wrong font sizes in table's and feedback panel popup hints
This commit is contained in:
parent
d3437c9b1e
commit
d138e33b04
2 changed files with 2 additions and 2 deletions
|
|
@ -67,7 +67,7 @@ public class MageTextArea extends MageEditorPane {
|
|||
if (panelWidth > 0 && MageTextArea.this.getPreferredSize().getWidth() > panelWidth) {
|
||||
String tooltip = "<html><center><body style='font-family:Dialog;font-size:"
|
||||
+ GUISizeHelper.gameDialogAreaFontSizeBig
|
||||
+ ";color: #FFFFFF'><p width='500'>" + basicText + "</p></body></html>";
|
||||
+ "pt;color: #FFFFFF'><p width='500'>" + basicText + "</p></body></html>";
|
||||
MageTextArea.super.setToolTipText(tooltip);
|
||||
} else {
|
||||
MageTextArea.super.setToolTipText(null);
|
||||
|
|
|
|||
|
|
@ -107,7 +107,7 @@ public class MageTable extends JTable {
|
|||
|
||||
public static String textToHtmlWithSize(String text, Font font) {
|
||||
if (text != null && !text.toLowerCase(Locale.ENGLISH).startsWith("<html>")) {
|
||||
return "<html><p style=\"font-size: " + font.getSize() + ";\">" + text + "</p>";
|
||||
return "<html><p style=\"font-size: " + font.getSize() + "pt;\">" + text + "</p>";
|
||||
}
|
||||
return text;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue