EventLogEditor.textArea
and to make all the
processes that need this value, to retrieve it using the
EventLogEditor.getDefaultFontSize()
method.DefaultInternalFrameListener
,
will be the JInternalFrameListener
for all the JInternalFrame
frames created.EventLogEditor.undoManager
sending each edit a die message in the process.JPanel
that defines the second tab of
the menu and contains all the buttons of the Discovery tab.