package basics.gui;

import static basics.gui.toolkit.GU.defaultBorder;
import static basics.gui.toolkit.GU.defaultFont;
import static basics.gui.toolkit.GU.defaultFontFamily;
import static basics.gui.toolkit.GU.defaultFontSize;
import static basics.gui.toolkit.GU.defaultTabSize;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Font;
import javax.swing.BorderFactory;
import javax.swing.JTabbedPane;
import basics.gui.toolkit.ViewBuilder;

public class ViewDefSample implements ViewBuilder
{

int SCR_W, SCR_H, LINE_H;

public ViewDefSample()
{
   SCR_W = 600;
   SCR_H = 180;
   LINE_H = 12;
   defaultFontFamily = "Monospaced";
   defaultFontSize = 9;
   defaultFont = new Font(defaultFontFamily, Font.PLAIN, defaultFontSize);
   defaultBorder = BorderFactory.createLineBorder(Color.lightGray, 1);
   defaultTabSize = 8;
}

public void addPlugins(JTabbedPane ground)
{
//   ground.add("objects", new ObjectView(getDimension(), getLineHeight()).getView());
//   ground.add("graph", new GraphView(getDimension(), getLineHeight()).getView());
}

public Dimension getDimension()
{
   return new Dimension(SCR_W, SCR_H);
}

public int getWidth()
{
   return (int)SCR_W;
}

public int getHeight()
{
   return (int)SCR_H;
}

public int getLineHeight()
{
   return LINE_H;
}
}