private void initEditingGrammarTable() {
		editingGrammarView.addMouseListener(new MouseAdapter() {
			public void mouseClicked(MouseEvent e) {
				if (e.getClickCount() == 2) {
					convertSelected();
				}
			}
		});
		Production[] ps = grammar.getProductions();
		for (int i = 0; i < ps.length; i++)
			editingGrammarModel.addProduction(ps[i]);
	}