jabref: Cleanup "Error console"

JabRef as built on 2016-02-28.

Consistent naming of “Error console”

Help / “Show error console” brings up a window called “Program output”. This is inconsistent. To clean the thing up, I propose to

• rename “Show error console” to “Show developer information”
• rename “Program output” to “Developer information”

Reason: I neither find “Error console” nor “Program output” fitting. “Program output” fits better, but it is not the UI, it is the console output somehow. The log, however, is not shown on the console.

Remove tab “Exceptions”

I think with the current exception handling, we can remove the tab “Exceptions”. In case the “Log” shows an exception (such as java.lang.NullPointerException), the tab “Exceptions” does shows “No exceptions have occurred.” This feels inconsistent. Therefore, I propose to remove the tab “Exceptions”.

Update: I had an exception today (#890). Maybe we can try to log all exceptions somehow and then remove that tab.

Change the big red x into something nice.

The window of the error console shows a big X on inside a red circle. That indicates errors, but we also show useful logs without errors. Other dialogs of JabRef also don’t have an icon. Therefore, I propose to remove the X completely. If we want to go with icons because they support usability, we should use an “i” somehow.