ingenias.editor.Help Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of sociaalmled Show documentation
Show all versions of sociaalmled Show documentation
A editor for modelling scenarios for PHAT simulator
/**
* Copyright (C) 2010 Jorge J. Gomez-Sanz
*
* This file is part of the INGENME tool. INGENME is an open source meta-editor
* which produces customized editors for user-defined modeling languages
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation version 3 of the License
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
* You should have received a copy of the GNU General Public License
* along with this program. If not, see
**/
package ingenias.editor;
import javax.swing.*;
import java.awt.*;
import java.io.*;
import java.awt.event.*;
public class Help
extends JFrame
implements java.io.Serializable {
JScrollPane scrollhelp = new JScrollPane();
JTextPane helpPane = new JTextPane();
JButton close = new JButton();
public Help() {
super("Help");
try {
jbInit();
}
catch (Exception e) {
e.printStackTrace();
}
}
public void loadHelp(String file) {
try {
FileInputStream fis = new FileInputStream(file);
String res = "";
int read = 1;
byte[] bs = new byte[2000];
while (read > 0) {
read = fis.read(bs);
if (read > 0) {
res = res + new String(bs, 0, read);
}
}
// System.err.println(res);
helpPane.setContentType("text/html");
helpPane.setText(res);
helpPane.setCaretPosition(0);
}
catch (IOException ioe) {
ioe.printStackTrace();
}
}
private void jbInit() throws Exception {
helpPane.setEditable(false);
helpPane.setText("jTextPane1");
close.setText("Close");
close.addActionListener(new Help_close_actionAdapter(this));
this.getContentPane().add(scrollhelp, BorderLayout.CENTER);
this.getContentPane().add(close, BorderLayout.SOUTH);
scrollhelp.getViewport().add(helpPane, null);
}
void close_actionPerformed(ActionEvent e) {
this.hide();
}
public static void main(String args[]) {
JFrame jf=new JFrame();
JButton jb=new JButton("prueba");
jf.getContentPane().add(jb);
jb.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
Help h = new Help();
h.loadHelp("doc/help/index.htm");
JFrame.setDefaultLookAndFeelDecorated(true);
h.helpPane.setCaretPosition(0);
h.pack();
h.setExtendedState(JFrame.MAXIMIZED_BOTH);
h.show();
}
});
jf.pack();
jf.show();
System.err.println("hola");
}
}
class Help_close_actionAdapter
implements java.awt.event.ActionListener, java.io.Serializable {
Help adaptee;
Help_close_actionAdapter(Help adaptee) {
this.adaptee = adaptee;
}
public void actionPerformed(ActionEvent e) {
adaptee.close_actionPerformed(e);
}
}