TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-18 01:14:42 -04:00
Code Issues Packages Projects Releases Wiki Activity

two different PNG sizes

Browse Source
This commit is contained in:
hneemann 2016-04-16 19:23:09 +02:00
parent 667e38286d
commit c55c2c223e
3 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -198,7 +198,8 @@ public class Main extends JFrame implements ClosingWindowListener.ConfirmSave, E
JMenu export = new JMenu(Lang.get("menu_export")); JMenu export = new JMenu(Lang.get("menu_export"));
export.add(new ExportAction(Lang.get("menu_exportSVG"), "svg", GraphicSVGIndex::new)); export.add(new ExportAction(Lang.get("menu_exportSVG"), "svg", GraphicSVGIndex::new));
export.add(new ExportAction(Lang.get("menu_exportSVGLaTex"), "svg", GraphicSVGLaTeX::new)); export.add(new ExportAction(Lang.get("menu_exportSVGLaTex"), "svg", GraphicSVGLaTeX::new));
export.add(new ExportAction(Lang.get("menu_exportPNG"), "png", (file, min, max) -> GraphicsImage.create(new FileOutputStream(file), min, max, "PNG", 2))); export.add(new ExportAction(Lang.get("menu_exportPNGSmall"), "png", (file, min, max) -> GraphicsImage.create(new FileOutputStream(file), min, max, "PNG", 1)));
export.add(new ExportAction(Lang.get("menu_exportPNGLarge"), "png", (file, min, max) -> GraphicsImage.create(new FileOutputStream(file), min, max, "PNG", 2)));
JMenu file = new JMenu(Lang.get("menu_file")); JMenu file = new JMenu(Lang.get("menu_file"));
bar.add(file); bar.add(file);

3
src/main/resources/lang/lang_de.properties
View File

@ -230,7 +230,8 @@ menu_editAttributes_tt=Diese Attribute beeinflussen das Modell, wenn es in ander
menu_fast=Schneller Lauf menu_fast=Schneller Lauf
menu_fast_tt=F\u00FChrt das Modell aus, bis ein Stopsignal \u00FCber ein BRK-Element detektiert wird. menu_fast_tt=F\u00FChrt das Modell aus, bis ein Stopsignal \u00FCber ein BRK-Element detektiert wird.
menu_export=Export menu_export=Export
menu_exportPNG=Export PNG menu_exportPNGSmall=Export PNG klein
menu_exportPNGLarge=Export PNG gro\u00DF
menu_exportSVG=Export SVG menu_exportSVG=Export SVG
menu_exportSVGLaTex=Export SVG+LaTeX menu_exportSVGLaTex=Export SVG+LaTeX
menu_delete=L\u00F6schen menu_delete=L\u00F6schen

3
src/main/resources/lang/lang_en.properties
View File

@ -218,7 +218,8 @@ menu_fast_tt=Runs the model until a break is detected by the BRK element.
menu_export=Export menu_export=Export
menu_exportSVG=Export SVG menu_exportSVG=Export SVG
menu_exportSVGLaTex=Export SVG+LaTeX menu_exportSVGLaTex=Export SVG+LaTeX
menu_exportPNG=Export PNG menu_exportPNGSmall=Export PNG small
menu_exportPNGLarge=Export PNG large
menu_delete=Delete elements menu_delete=Delete elements
menu_delete_tt=Delete selected single element or group of elements menu_delete_tt=Delete selected single element or group of elements
menu_editRunAttributes=Simulation Settings menu_editRunAttributes=Simulation Settings