import java.awt.Event;
import java.awt.Font;
+import java.awt.Graphics2D;
import java.awt.MenuComponent;
import java.awt.event.MouseListener;
import java.io.File;
}
}
+
+ @Override
+ public int getWidth()
+ {
+ return treeView.getWidth();
+ }
+
+ @Override
+ public int getHeight()
+ {
+ return treeView.getHeight();
+ }
+
+ @Override
+ public void paintToFile(Graphics2D pg, int width, int height)
+ {
+ treeView.paintFile(pg, false, width, height, 0, 0);
+
+ }
}