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

added image export

Browse Source
This commit is contained in:
hneemann 2016-04-16 17:01:00 +02:00
parent 880aa173e8
commit e49d0702d1
5 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java
View File

@ -49,7 +49,7 @@ public class GraphicSwing implements Graphic {
if (p.isClosed())
path.closePath();
if (style.isFilled())
if (style.isFilled() && p.isClosed())
gr.fill(path);
gr.draw(path);
}

6
src/main/java/de/neemann/digital/draw/graphics/GraphicsImage.java
View File

@ -26,8 +26,9 @@ public final class GraphicsImage extends GraphicSwing implements Closeable {
public static GraphicsImage create(OutputStream out, Vector min, Vector max, String format) {
int thickness = Style.NORMAL.getThickness();
BufferedImage bi
= new BufferedImage(max.x - min.x + thickness * 2,
max.y - min.y + thickness * 2,
= new BufferedImage(
(max.x - min.x + thickness * 2) * 2,
(max.y - min.y + thickness * 2) * 2,
BufferedImage.TYPE_INT_ARGB);
Graphics2D gr = bi.createGraphics();
gr.setRenderingHint(RenderingHints.KEY_RENDERING, RenderingHints.VALUE_RENDER_QUALITY);
@ -38,6 +39,7 @@ public final class GraphicsImage extends GraphicSwing implements Closeable {
gr.setColor(new Color(255, 255, 255, 0));
gr.fillRect(0, 0, bi.getWidth(), bi.getHeight());
gr.scale(2, 2);
gr.translate(thickness - min.x, thickness - min.y);
return new GraphicsImage(out, gr, bi, format);

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

@ -33,6 +33,7 @@ import java.awt.event.WindowAdapter;
import java.awt.event.WindowEvent;
import java.io.Closeable;
import java.io.File;
import java.io.FileOutputStream;
import java.io.IOException;
import java.util.ArrayList;
import java.util.List;
@ -197,6 +198,7 @@ public class Main extends JFrame implements ClosingWindowListener.ConfirmSave, E
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_exportSVGLaTex"), "svg", GraphicSVGLaTeX::new));
export.add(new ExportAction(Lang.get("menu_exportPNG"), "png", (file, min, max) -> GraphicsImage.create(new FileOutputStream(file), min, max, "PNG")));
JMenu file = new JMenu(Lang.get("menu_file"));
bar.add(file);

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

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

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

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