// Path: src/es/ull/mazesolver/translations/ConsoleTranslations.java
// @C10NMessages
// public interface ConsoleTranslations {
//   String log ();
//   String clear ();
//   String saveToFile ();
//   String logSaveError ();
// }
// 
// Path: src/es/ull/mazesolver/translations/Translatable.java
// public interface Translatable {
//   /**
//    * Traduce las cadenas de texto de la clase.
//    */
//   public void translate ();
// 
// }


import java.awt.BorderLayout;
import java.awt.Color;
import java.awt.FlowLayout;
import java.awt.Font;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.io.IOException;
import javax.swing.BorderFactory;
import javax.swing.Box;
import javax.swing.JButton;
import javax.swing.JOptionPane;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTextPane;
import javax.swing.UIManager;
import javax.swing.border.EtchedBorder;
import javax.swing.border.TitledBorder;
import javax.swing.text.BadLocationException;
import javax.swing.text.Style;
import javax.swing.text.StyleConstants;
import javax.swing.text.StyledDocument;
import com.alee.laf.button.WebButton;
import es.ull.mazesolver.translations.ConsoleTranslations;
import es.ull.mazesolver.translations.Translatable;
              JOptionPane.ERROR_MESSAGE);
        }
      }
    });

    m_text = new JTextPane();
    m_text.setEditable(false);
    m_text.setFont(new Font(Font.MONOSPACED, Font.PLAIN, 12));

    m_error_style = m_text.addStyle("Error", null);
    m_info_style = m_text.addStyle("Info", null);
    m_warning_style = m_text.addStyle("Warning", null);

    StyleConstants.setForeground(m_error_style, Color.RED);
    StyleConstants.setForeground(m_info_style, Color.BLACK);
    StyleConstants.setForeground(m_warning_style, Color.YELLOW);

    final JScrollPane text_scroll = new JScrollPane(m_text);
    text_scroll.setVisible(false);

    JPanel top = new JPanel(new FlowLayout(FlowLayout.LEFT));
    top.add(m_clear_button);
    top.add(m_save_button);

    final WebButton collapser = new WebButton();
    collapser.setUndecorated(true);
    collapser.setIcon(UIManager.getIcon("Tree.collapsedIcon"));

    collapser.addActionListener(new ActionListener() {
      @Override
// Path: src/es/ull/mazesolver/translations/ConsoleTranslations.java
// @C10NMessages
// public interface ConsoleTranslations {
//   String log ();
//   String clear ();
//   String saveToFile ();
//   String logSaveError ();
// }
// 
// Path: src/es/ull/mazesolver/translations/Translatable.java
// public interface Translatable {
//   /**
//    * Traduce las cadenas de texto de la clase.
//    */
//   public void translate ();
// 
// }


// Path: src/es/ull/mazesolver/gui/LoggingConsole.java
import java.awt.BorderLayout;
import java.awt.Color;
import java.awt.FlowLayout;
import java.awt.Font;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.io.IOException;
import javax.swing.BorderFactory;
import javax.swing.Box;
import javax.swing.JButton;
import javax.swing.JOptionPane;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTextPane;
import javax.swing.UIManager;
import javax.swing.border.EtchedBorder;
import javax.swing.border.TitledBorder;
import javax.swing.text.BadLocationException;
import javax.swing.text.Style;
import javax.swing.text.StyleConstants;
import javax.swing.text.StyledDocument;
import com.alee.laf.button.WebButton;
import es.ull.mazesolver.translations.ConsoleTranslations;
import es.ull.mazesolver.translations.Translatable;

              JOptionPane.ERROR_MESSAGE);
        }
      }
    });

    m_text = new JTextPane();
    m_text.setEditable(false);
    m_text.setFont(new Font(Font.MONOSPACED, Font.PLAIN, 12));

    m_error_style = m_text.addStyle("Error", null);
    m_info_style = m_text.addStyle("Info", null);
    m_warning_style = m_text.addStyle("Warning", null);

    StyleConstants.setForeground(m_error_style, Color.RED);
    StyleConstants.setForeground(m_info_style, Color.BLACK);
    StyleConstants.setForeground(m_warning_style, Color.YELLOW);

    final JScrollPane text_scroll = new JScrollPane(m_text);
    text_scroll.setVisible(false);

    JPanel top = new JPanel(new FlowLayout(FlowLayout.LEFT));
    top.add(m_clear_button);
    top.add(m_save_button);

    final WebButton collapser = new WebButton();
    collapser.setUndecorated(true);
    collapser.setIcon(UIManager.getIcon("Tree.collapsedIcon"));

    collapser.addActionListener(new ActionListener() {
      @Override
      public void actionPerformed (ActionEvent e) {