TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-27 15:03:21 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixed a view more high resolution screen issues

Browse Source
This commit is contained in:
hneemann 2017-05-11 19:41:54 +02:00
parent db9e8057a3
commit 1bbb30b44f
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java
View File

@ -272,7 +272,10 @@ public class ElementHelpDialog extends JDialog {
static BufferedImage getImage(String name) {
BufferedImage bi = imageMap.get(name);
if (bi == null) {
bi = new VisualElement(name).setShapeFactory(shapeFactory).getBufferedImage(0.75 * IMAGE_SCALE, 250 * IMAGE_SCALE);
final float scale = IMAGE_SCALE * Screen.getInstance().getScaling();
bi = new VisualElement(name)
.setShapeFactory(shapeFactory)
.getBufferedImage(0.75 * scale, (int) (250 * scale));
imageMap.put(name, bi);
}
return bi;

3
src/main/java/de/neemann/digital/gui/components/ElementOrderer.java
View File

@ -1,6 +1,7 @@
package de.neemann.digital.gui.components;
import de.neemann.digital.lang.Lang;
import de.neemann.gui.Screen;
import de.neemann.gui.ToolTipAction;
import javax.swing.*;
@ -42,7 +43,7 @@ public class ElementOrderer<T> extends JDialog {
list = new JList<T>(listModel);
JScrollPane scrollPane = new JScrollPane(list);
getContentPane().add(scrollPane);
scrollPane.setPreferredSize(new Dimension(100, 150));
scrollPane.setPreferredSize(Screen.getInstance().scale(new Dimension(100, 150)));
buttons = new JPanel();
buttons.setLayout(new BoxLayout(buttons, BoxLayout.Y_AXIS));