5354555657585960
public SDGenerator(GrammarEngine engine) { this.engine = engine; context = new GContext(); context.setSkin(new SDSkin()); context.setProvider(this); }
6465666768697071727374
protected boolean enable = true; public SyntaxDiagramTab(GrammarWindow editor) { super(editor); skin = new SDSkin(); context = new GContext(); context.setEngine(new GEngineGraphics()); context.setSkin(skin); context.setProvider(this);
413414415416417418419420421422423
JCheckBox button = (JCheckBox)event.getSource(); if(button.isSelected()) context.setSkin(new NFASkin()); else context.setSkin(new SDSkin()); view.refresh(); } }); return button;