Class TexSourceFile

java.lang.Object
org.luwrain.studio.edit.tex.TexSourceFile
All Implemented Interfaces:
Part

public final class TexSourceFile extends Object implements Part