symbolframe.java

基于web的数学公式编辑器

		jButton62.setPreferredSize(new Dimension(30, 15));
		jButton62.setBounds(new Rectangle(170, 0, 42, 25));
		jButton62.setBorder(BorderFactory.createEtchedBorder());
		jButton63.setText("Π");
		jButton63.addActionListener(new SymbolFrame_jButton63_actionAdapter(this));
		jButton63.setPreferredSize(new Dimension(30, 15));
		jButton63.setBounds(new Rectangle(296, 96, 42, 25));
		jButton63.setBorder(BorderFactory.createEtchedBorder());
		jButton64.setText("a");
		jButton64.addActionListener(new SymbolFrame_jButton64_actionAdapter(this));
		jButton64.setPreferredSize(new Dimension(30, 15));
		jButton64.setBounds(new Rectangle(1, 310, 42, 25));
		jButton64.setEnabled(false);
		jButton64.setBorder(BorderFactory.createEtchedBorder());
		jButton65.setText("a");
		jButton65.addActionListener(new SymbolFrame_jButton65_actionAdapter(this));
		jButton65.setPreferredSize(new Dimension(30, 15));
		jButton65.setBounds(new Rectangle(213, 310, 42, 25));
		jButton65.setEnabled(false);
		jButton65.setBorder(BorderFactory.createEtchedBorder());
		jButton66.setText("a");
		jButton66.addActionListener(new SymbolFrame_jButton66_actionAdapter(this));
		jButton66.setPreferredSize(new Dimension(30, 15));
		jButton66.setBounds(new Rectangle(381, 256, 42, 25));
		jButton66.setEnabled(false);
		jButton66.setBorder(BorderFactory.createEtchedBorder());
		jButton67.setText("a");
		jButton67.addActionListener(new SymbolFrame_jButton67_actionAdapter(this));
		jButton67.setPreferredSize(new Dimension(30, 15));
		jButton67.setBounds(new Rectangle(297, 283, 42, 25));
		jButton67.setEnabled(false);
		jButton67.setBorder(BorderFactory.createEtchedBorder());
		jButton68.setText("∮");
		jButton68.addActionListener(new SymbolFrame_jButton68_actionAdapter(this));
		jButton68.setPreferredSize(new Dimension(30, 15));
		jButton68.setBounds(new Rectangle(297, 121, 42, 25));
		jButton68.setBorder(BorderFactory.createEtchedBorder());
		jButton69.setText("∧");
		jButton69.addActionListener(new SymbolFrame_jButton69_actionAdapter(this));
		jButton69.setPreferredSize(new Dimension(30, 15));
		jButton69.setBounds(new Rectangle(381, 121, 42, 25));
		jButton69.setBorder(BorderFactory.createEtchedBorder());
		jButton70.setText("χ");
		jButton70.addActionListener(new SymbolFrame_jButton70_actionAdapter(this));
		jButton70.setPreferredSize(new Dimension(30, 15));
		jButton70.setBounds(new Rectangle(381, 27, 42, 25));
		jButton70.setBorder(BorderFactory.createEtchedBorder());
		jButton71.setText("a");
		jButton71.addActionListener(new SymbolFrame_jButton71_actionAdapter(this));
		jButton71.setPreferredSize(new Dimension(30, 15));
		jButton71.setBounds(new Rectangle(1, 283, 42, 25));
		jButton71.setEnabled(false);
		jButton71.setBorder(BorderFactory.createEtchedBorder());
		jButton72.setText("∪");
		jButton72.addActionListener(new SymbolFrame_jButton72_actionAdapter(this));
		jButton72.setPreferredSize(new Dimension(30, 15));
		jButton72.setBounds(new Rectangle(213, 163, 42, 25));
		jButton72.setBorder(BorderFactory.createEtchedBorder());
		jButton73.setText("a");
		jButton73.addActionListener(new SymbolFrame_jButton73_actionAdapter(this));
		jButton73.setPreferredSize(new Dimension(30, 15));
		jButton73.setBounds(new Rectangle(1, 213, 42, 25));
		jButton73.setEnabled(false);
		jButton73.setBorder(BorderFactory.createEtchedBorder());
		jButton74.setText("∫");
		jButton74.addActionListener(new SymbolFrame_jButton74_actionAdapter(this));
		jButton74.setPreferredSize(new Dimension(30, 15));
		jButton74.setBounds(new Rectangle(255, 121, 42, 25));
		jButton74.setBorder(BorderFactory.createEtchedBorder());
		jButton75.setText("˙");
		jButton75.addActionListener(new SymbolFrame_jButton75_actionAdapter(this));
		jButton75.setPreferredSize(new Dimension(30, 15));
		jButton75.setBounds(new Rectangle(85, 188, 42, 25));
		jButton75.setBorder(BorderFactory.createEtchedBorder());
		jButton76.setText("β");
		jButton76.addActionListener(new SymbolFrame_jButton76_actionAdapter(this));
		jButton76.setPreferredSize(new Dimension(30, 15));
		jButton76.setBounds(new Rectangle(43, 0, 42, 25));
		jButton76.setBorder(BorderFactory.createEtchedBorder());
		jButton77.setText("a");
		jButton77.addActionListener(new SymbolFrame_jButton77_actionAdapter(this));
		jButton77.setPreferredSize(new Dimension(30, 15));
		jButton77.setBounds(new Rectangle(213, 283, 42, 25));
		jButton77.setEnabled(false);
		jButton77.setBorder(BorderFactory.createEtchedBorder());
		jButton78.setText("a");
		jButton78.addActionListener(new SymbolFrame_jButton78_actionAdapter(this));
		jButton78.setPreferredSize(new Dimension(30, 15));
		jButton78.setBounds(new Rectangle(128, 213, 42, 25));
		jButton78.setEnabled(false);
		jButton78.setBorder(BorderFactory.createEtchedBorder());
		jButton79.setText("ρ");
		jButton79.addActionListener(new SymbolFrame_jButton79_actionAdapter(this));
		jButton79.setPreferredSize(new Dimension(30, 15));
		jButton79.setBounds(new Rectangle(170, 27, 42, 25));
		jButton79.setBorder(BorderFactory.createEtchedBorder());
		jButton80.setText("ψ");
		jButton80.addActionListener(new SymbolFrame_jButton80_actionAdapter(this));
		jButton80.setPreferredSize(new Dimension(30, 15));
		jButton80.setBounds(new Rectangle(0, 96, 42, 25));
		jButton80.setBorder(BorderFactory.createEtchedBorder());
		jButton81.setText("a");
		jButton81.addActionListener(new SymbolFrame_jButton81_actionAdapter(this));
		jButton81.setPreferredSize(new Dimension(30, 15));
		jButton81.setBounds(new Rectangle(339, 283, 42, 25));
		jButton81.setEnabled(false);
		jButton81.setBorder(BorderFactory.createEtchedBorder());
		jButton82.setText("ν");
		jButton82.addActionListener(new SymbolFrame_jButton82_actionAdapter(this));
		jButton82.setPreferredSize(new Dimension(30, 15));
		jButton82.setBounds(new Rectangle(43, 27, 42, 25));
		jButton82.setBorder(BorderFactory.createEtchedBorder());
		jButton83.setText("ζ");
		jButton83.addActionListener(new SymbolFrame_jButton83_actionAdapter(this));
		jButton83.setPreferredSize(new Dimension(30, 15));
		jButton83.setBounds(new Rectangle(213, 0, 42, 25));
		jButton83.setBorder(BorderFactory.createEtchedBorder());
		jButton84.setText("ι");
		jButton84.addActionListener(new SymbolFrame_jButton84_actionAdapter(this));
		jButton84.setPreferredSize(new Dimension(30, 15));
		jButton84.setBounds(new Rectangle(339, 0, 42, 25));
		jButton84.setBorder(BorderFactory.createEtchedBorder());
		jButton85.setText("∑");
		jButton85.addActionListener(new SymbolFrame_jButton85_actionAdapter(this));
		jButton85.setPreferredSize(new Dimension(30, 15));
		jButton85.setBounds(new Rectangle(170, 121, 42, 25));
		jButton85.setBorder(BorderFactory.createEtchedBorder());
		jButton86.setText("∥");
		jButton86.addActionListener(new SymbolFrame_jButton86_actionAdapter(this));
		jButton86.setPreferredSize(new Dimension(30, 15));
		jButton86.setBounds(new Rectangle(338, 163, 42, 27));
		jButton86.setBorder(BorderFactory.createEtchedBorder());
		jButton87.setText("α");
		jButton87.addActionListener(new SymbolFrame_jButton87_actionAdapter(this));
		jButton87.setPreferredSize(new Dimension(30, 15));
		jButton87.setToolTipText("");
		jButton87.setBounds(new Rectangle(1, 1, 42, 25));
		jButton87.setBorder(BorderFactory.createEtchedBorder());
		jButton88.setText("a");
		jButton88.addActionListener(new SymbolFrame_jButton88_actionAdapter(this));
		jButton88.setPreferredSize(new Dimension(30, 15));
		jButton88.setBounds(new Rectangle(128, 283, 42, 25));
		jButton88.setEnabled(false);
		jButton88.setBorder(BorderFactory.createEtchedBorder());
		jButton89.setText("a");
		jButton89.addActionListener(new SymbolFrame_jButton89_actionAdapter(this));
		jButton89.setPreferredSize(new Dimension(30, 15));
		jButton89.setBounds(new Rectangle(170, 283, 42, 25));
		jButton89.setEnabled(false);
		jButton89.setBorder(BorderFactory.createEtchedBorder());
		jButton90.setText("a");
		jButton90.addActionListener(new SymbolFrame_jButton90_actionAdapter(this));
		jButton90.setPreferredSize(new Dimension(30, 15));
		jButton90.setBounds(new Rectangle(1, 256, 42, 25));
		jButton90.setEnabled(false);
		jButton90.setBorder(BorderFactory.createEtchedBorder());
		jButton91.setText("→");
		jButton91.addActionListener(new SymbolFrame_jButton91_actionAdapter(this));
		jButton91.setPreferredSize(new Dimension(30, 15));
		jButton91.setBounds(new Rectangle(170, 188, 42, 25));
		jButton91.setBorder(BorderFactory.createEtchedBorder());
		jButton92.setText("ω");
		jButton92.addActionListener(new SymbolFrame_jButton92_actionAdapter(this));
		jButton92.setPreferredSize(new Dimension(30, 15));
		jButton92.setBounds(new Rectangle(42, 96, 42, 25));
		jButton92.setBorder(BorderFactory.createEtchedBorder());
		jButton93.setText("a");
		jButton93.addActionListener(new SymbolFrame_jButton93_actionAdapter(this));
		jButton93.setPreferredSize(new Dimension(30, 15));
		jButton93.setBounds(new Rectangle(43, 256, 42, 25));
		jButton93.setEnabled(false);
		jButton93.setBorder(BorderFactory.createEtchedBorder());
		jButton94.setText("a");
		jButton94.addActionListener(new SymbolFrame_jButton94_actionAdapter(this));
		jButton94.setPreferredSize(new Dimension(30, 15));
		jButton94.setBounds(new Rectangle(43, 283, 42, 25));
		jButton94.setEnabled(false);
		jButton94.setBorder(BorderFactory.createEtchedBorder());
		jButton95.setText("a");
		jButton95.addActionListener(new SymbolFrame_jButton95_actionAdapter(this));
		jButton95.setPreferredSize(new Dimension(30, 15));
		jButton95.setBounds(new Rectangle(381, 310, 42, 25));
		jButton95.setEnabled(false);
		jButton95.setBorder(BorderFactory.createEtchedBorder());
		jButton96.setText("a");
		jButton96.addActionListener(new SymbolFrame_jButton96_actionAdapter(this));
		jButton96.setPreferredSize(new Dimension(30, 15));
		jButton96.setBounds(new Rectangle(170, 310, 42, 25));
		jButton96.setEnabled(false);
		jButton96.setBorder(BorderFactory.createEtchedBorder());
		jButton97.setText("a");
		jButton97.addActionListener(new SymbolFrame_jButton97_actionAdapter(this));
		jButton97.setPreferredSize(new Dimension(30, 15));
		jButton97.setBounds(new Rectangle(255, 310, 42, 25));
		jButton97.setEnabled(false);
		jButton97.setBorder(BorderFactory.createEtchedBorder());
		jButton98.setText("a");
		jButton98.addActionListener(new SymbolFrame_jButton98_actionAdapter(this));
		jButton98.setPreferredSize(new Dimension(30, 15));
		jButton98.setBounds(new Rectangle(381, 283, 42, 25));
		jButton98.setEnabled(false);
		jButton98.setBorder(BorderFactory.createEtchedBorder());
		jButton99.setText("a");
		jButton99.addActionListener(new SymbolFrame_jButton99_actionAdapter(this));
		jButton99.setPreferredSize(new Dimension(30, 15));
		jButton99.setBounds(new Rectangle(255, 283, 42, 25));
		jButton99.setEnabled(false);
		jButton99.setBorder(BorderFactory.createEtchedBorder());
		jButton100.setText("a");
		jButton100.addActionListener(new SymbolFrame_jButton100_actionAdapter(this));
		jButton100.setPreferredSize(new Dimension(30, 15));
		jButton100.setBounds(new Rectangle(170, 213, 42, 25));
		jButton100.setEnabled(false);
		jButton100.setBorder(BorderFactory.createEtchedBorder());
		jButton1.setBounds(new Rectangle(128, 163, 42, 25));
		jButton1.setBorder(BorderFactory.createEtchedBorder());
		jButton1.setPreferredSize(new Dimension(30, 15));
		jButton1.setText("≡");
		jButton1.addActionListener(new SymbolFrame_jButton1_actionAdapter(this));
		jButton101.setBounds(new Rectangle(172, 345, 85, 25));
		jButton101.setText("ok");
		jButton101.addActionListener(new SymbolFrame_jButton101_actionAdapter(this));
		this.getContentPane().add(jButton44, null);
		this.getContentPane().add(jButton76, null);
		this.getContentPane().add(jButton87, null);
		this.getContentPane().add(jButton46, null);
		this.getContentPane().add(jButton82, null);
		this.getContentPane().add(jButton43, null);
		this.getContentPane().add(jButton62, null);
		this.getContentPane().add(jButton83, null);
		this.getContentPane().add(jButton52, null);
		this.getContentPane().add(jButton57, null);
		this.getContentPane().add(jButton84, null);
		this.getContentPane().add(jButton53, null);
		this.getContentPane().add(jButton70, null);
		this.getContentPane().add(jButton79, null);
		this.getContentPane().add(jButton14, null);
		this.getContentPane().add(jButton32, null);
		this.getContentPane().add(jButton58, null);
		this.getContentPane().add(jButton34, null);
		this.getContentPane().add(jButton45, null);
		this.getContentPane().add(jButton38, null);
		this.getContentPane().add(jButton101, null);
		this.getContentPane().add(jButton89, null);
		this.getContentPane().add(jButton68, null);
		this.getContentPane().add(jButton30, null);
		this.getContentPane().add(jButton26, null);
		this.getContentPane().add(jButton4, null);
		this.getContentPane().add(jButton85, null);
		this.getContentPane().add(jButton29, null);
		this.getContentPane().add(jButton74, null);
		this.getContentPane().add(jButton55, null);
		this.getContentPane().add(jButton69, null);
		this.getContentPane().add(jButton54, null);
		this.getContentPane().add(jButton10, null);
		this.getContentPane().add(jButton37, null);
		this.getContentPane().add(jButton42, null);
		this.getContentPane().add(jButton49, null);
		this.getContentPane().add(jButton75, null);
		this.getContentPane().add(jButton8, null);
		this.getContentPane().add(jButton6, null);
		this.getContentPane().add(jButton11, null);
		this.getContentPane().add(jButton73, null);
		this.getContentPane().add(jButton3, null);
		this.getContentPane().add(jButton72, null);
		this.getContentPane().add(jButton15, null);
		this.getContentPane().add(jButton28, null);
		this.getContentPane().add(jButton56, null);
		this.getContentPane().add(jButton91, null);
		this.getContentPane().add(jButton60, null);
		this.getContentPane().add(jButton59, null);
		this.getContentPane().add(jButton16, null);
		this.getContentPane().add(jButton33, null);
		this.getContentPane().add(jButton31, null);
		this.getContentPane().add(jButton100, null);
		this.getContentPane().add(jButton36, null);
		this.getContentPane().add(jButton17, null);
		this.getContentPane().add(jButton18, null);
		this.getContentPane().add(jButton5, null);
		this.getContentPane().add(jButton19, null);
		this.getContentPane().add(jButton1, null);
		this.getContentPane().add(jButton47, null);
		this.getContentPane().add(jButton78, null);
		this.getContentPane().add(jButton90, null);
		this.getContentPane().add(jButton93, null);
		this.getContentPane().add(jButton9, null);
		this.getContentPane().add(jButton94, null);
		this.getContentPane().add(jButton21, null);
		this.getContentPane().add(jButton64, null);
		this.getContentPane().add(jButton25, null);
		this.getContentPane().add(jButton40, null);
		this.getContentPane().add(jButton71, null);
		this.getContentPane().add(jButton20, null);
		this.getContentPane().add(jButton39, null);
		this.getContentPane().add(jButton24, null);
		this.getContentPane().add(jButton41, null);
		this.getContentPane().add(jButton35, null);
		this.getContentPane().add(jButton66, null);
		this.getContentPane().add(jButton77, null);
		this.getContentPane().add(jButton99, null);
		this.getContentPane().add(jButton67, null);
		this.getContentPane().add(jButton81, null);
		this.getContentPane().add(jButton98, null);
		this.getContentPane().add(jButton96, null);
		this.getContentPane().add(jButton65, null);
		this.getContentPane().add(jButton97, null);
		this.getContentPane().add(jButton51, null);
		this.getContentPane().add(jButton50, null);
		this.getContentPane().add(jButton95, null);
		this.getContentPane().add(jButton7, null);
		this.getContentPane().add(jButton88, null);
		this.getContentPane().add(jButton23, null);
		this.getContentPane().add(jButton48, null);
		this.getContentPane().add(jButton63, null);
		this.getContentPane().add(jButton12, null);
		this.getContentPane().add(jButton27, null);
		this.getContentPane().add(jButton92, null);
		this.getContentPane().add(jButton80, null);
		this.getContentPane().add(jButton22, null);
		this.getContentPane().add(jButton13, null);
		this.getContentPane().add(jButton61, null);
		this.getContentPane().add(jButton2, null);
		this.getContentPane().add(jButton86, null);
		setbuttonVisible();// 该函数隐藏那些还没实现的按钮
		this.setResizable(false);
	}

	void jButton87_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("α");
	}

	void jButton76_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("β");
	}

	void jButton44_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("γ");
	}

	void jButton45_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("δ");
	}

	void jButton62_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ε");
	}

	void jButton83_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ζ");
	}

	void jButton52_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("η");
	}

	void jButton57_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("θ");
	}

	void jButton84_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ι");
	}

	void jButton53_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("κ");
	}

	void jButton46_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("λ");
	}

	void jButton82_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ν");
	}

	void jButton43_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ξ");
	}

	void jButton38_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("π");
	}

	void jButton79_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ρ");
	}

	void jButton14_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("σ");
	}

	void jButton32_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("τ");
	}

	void jButton58_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("υ");
	}

	void jButton34_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("φ");
	}

	void jButton70_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("χ");
	}

	void jButton80_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ψ");
	}

	void jButton92_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("ω");
	}

	void jButton27_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("Γ");
	}

	void jButton12_actionPerformed(ActionEvent e)
	{

		panel1.insertSymbol("Δ");
	}

	void jButton2_actionPerformed(ActionEvent e)
	{