private void wrapTextCheckBoxMenuItemActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_wrapTextCheckBoxMenuItemActionPerformed
Preferences.setPreference("TextPanel.wrap", Boolean.toString(wrapTextCheckBoxMenuItem.isSelected()));
}//GEN-LAST:event_wrapTextCheckBoxMenuItemActionPerformed
private void loadSession(final File sessionDir) {
new SwingWorker() {
public Object construct() {
try {
closeSession();
_framework.setSession("FileSystem", sessionDir, "");
_framework.startPlugins();