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

added a second LaTeX export mode

Browse Source
This commit is contained in:
hneemann 2017-11-28 22:43:08 +01:00
parent c75884e6ec
commit e1855e71d0
5 changed files with 31 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeX.java
View File

@ -111,9 +111,4 @@ public class GraphicSVGLaTeX extends GraphicSVG {
if (style == Style.SHAPE_PIN) return super.getColor(Style.NORMAL);
return super.getColor(style);
}
@Override
public boolean isFlagSet(String name) {
return name.equals("LaTeX");
}
}

26
src/main/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXInOut.java Normal file
View File

@ -0,0 +1,26 @@
package de.neemann.digital.draw.graphics;
import java.io.IOException;
import java.io.OutputStream;
/**
* Replaces input and outputs by small circles
*/
public class GraphicSVGLaTeXInOut extends GraphicSVGLaTeX {
/**
* Creates a new instance
*
* @param out the stream to write the data to
* @throws IOException IOException
*/
public GraphicSVGLaTeXInOut(OutputStream out) throws IOException {
super(out);
}
@Override
public boolean isFlagSet(String name) {
return name.equals("LaTeX");
}
}

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

@ -482,6 +482,7 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
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_exportSVGLaTexInOut"), "svg", GraphicSVGLaTeXInOut::new));
export.add(new ExportAction(Lang.get("menu_exportPNGSmall"), "png", (out) -> new GraphicsImage(out, "PNG", 1)));
export.add(new ExportAction(Lang.get("menu_exportPNGLarge"), "png", (out) -> new GraphicsImage(out, "PNG", 2)));

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

@ -1006,7 +1006,8 @@ Sind evtl. die Namen der Variablen nicht eindeutig?</string>
<string name="menu_exportPNGLarge">Export PNG groß</string>
<string name="menu_exportPNGSmall">Export PNG klein</string>
<string name="menu_exportSVG">Export SVG</string>
<string name="menu_exportSVGLaTex">Export SVG+LaTeX</string>
<string name="menu_exportSVGLaTex">Export SVG + LaTeX</string>
<string name="menu_exportSVGLaTexInOut">Export SVG + LaTeX + kleine Ein- und Ausgänge</string>
<string name="menu_exportAnimatedGIF">Export Animated GIF</string>
<string name="menu_fast">Schneller Lauf</string>
<string name="menu_fast_tt">Führt die Schaltung aus, bis ein Stopsignal über ein BRK-Element detektiert wird.</string>

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

@ -995,7 +995,8 @@ The names of the variables may not be unique.</string>
<string name="menu_exportPNGLarge">Export PNG large</string>
<string name="menu_exportPNGSmall">Export PNG small</string>
<string name="menu_exportSVG">Export SVG</string>
<string name="menu_exportSVGLaTex">Export SVG+LaTeX</string>
<string name="menu_exportSVGLaTex">Export SVG + LaTeX</string>
<string name="menu_exportSVGLaTexInOut">Export SVG + LaTeX + small in/out</string>
<string name="menu_exportAnimatedGIF">Export Animated GIF</string>
<string name="menu_fast">Run Fast</string>
<string name="menu_fast_tt">Runs the circuit until a break is detected by the BRK component.</string>