public FactsPanel(JamochaGui gui)
: base(gui)
{
//UPGRADE_ISSUE: Constructor 'java.awt.BorderLayout.BorderLayout' was not converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1000_javaawtBorderLayout"'
setLayout(new BorderLayout());
dataModel = new FactsTableModel(this);
TableSorter sorter = new TableSorter(new TableMap());
((TableMap) sorter.Model).setModel(dataModel);
factsTable = new JTable(sorter);
sorter.addMouseListenerToHeaderInTable(factsTable);
factsTable.setShowHorizontalLines(true);
factsTable.setRowSelectionAllowed(true);
factsTable.TableHeader.setReorderingAllowed(false);
factsTable.TableHeader.setToolTipText("Click to sort ascending. Click while pressing the shift-key down to sort descending");
factsTable.SelectionModel.addListSelectionListener(this);
dumpArea = new JTextArea();
dumpArea.setLineWrap(true);
dumpArea.setWrapStyleWord(true);
dumpArea.setEditable(false);
//UPGRADE_NOTE: If the given Font Name does not exist, a default Font instance is created. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1075"'
//UPGRADE_TODO: Method 'java.awt.Font.Plain' was converted to 'System.Drawing.FontStyle.Regular' which has a different behavior. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1073_javaawtFontPLAIN_f"'
dumpArea.setFont(new System.Drawing.Font("Courier", 12, (System.Drawing.FontStyle) System.Drawing.FontStyle.Regular));
pane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, new JScrollPane(factsTable), new JScrollPane(dumpArea));
//UPGRADE_ISSUE: Field 'java.awt.BorderLayout.CENTER' was not converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1000_javaawtBorderLayout"'
add(pane, BorderLayout.CENTER);
pane.setDividerLocation(gui.Preferences.getInt("facts.dividerlocation", 300));
reloadButton = new JButton("Reload Facts", IconLoader.getImageIcon("database_refresh"));
reloadButton.addActionListener(this);
assertButton = new JButton("Assert Fact", IconLoader.getImageIcon("database_add"));
assertButton.addActionListener(this);
JPanel buttonPanel = new JPanel();
//UPGRADE_ISSUE: Constructor 'java.awt.FlowLayout.FlowLayout' was not converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1000_javaawtFlowLayout"'
//UPGRADE_ISSUE: Field 'java.awt.FlowLayout.RIGHT' was not converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1000_javaawtFlowLayout"'
buttonPanel.setLayout(new FlowLayout(FlowLayout.RIGHT, 5, 1));
buttonPanel.add(reloadButton);
buttonPanel.add(assertButton);
//UPGRADE_ISSUE: Field 'java.awt.BorderLayout' was not converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1000"'
add(buttonPanel, BorderLayout.PAGE_END);
initPopupMenu();
}
