Package jline.io.tikz

Class TikZViewer

java.lang.Object

jline.io.tikz.TikZViewer

public class TikZViewer
extends Object

Displays PDF files generated from TikZ diagrams using external viewers.

Constructor Summary

Constructors

Constructor	Description
TikZViewer()

Method Summary

Modifier and Type	Method	Description
static void	displayPDF(File pdfFile)	Displays a PDF file using an external viewer.
static void	displayPDF(File pdfFile, String title)	Displays a PDF file using an external viewer.
static boolean	isPdfViewerAvailable()	Checks if a PDF viewer is available on the system.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TikZViewer

public TikZViewer()

Method Details

displayPDF

public static void displayPDF(File pdfFile)

Displays a PDF file using an external viewer.

Parameters:

pdfFile - The PDF file to display

displayPDF

public static void displayPDF(File pdfFile,
 String title)

Displays a PDF file using an external viewer.

Parameters:

pdfFile - The PDF file to display

title - Optional title for logging

isPdfViewerAvailable

public static boolean isPdfViewerAvailable()

Checks if a PDF viewer is available on the system.