Cristian Maglie 07e1518b28 Now libraries are installed with all the dependencies ...

This is the base for the GUI that will be introduced in the
next commits.

2019-07-18 10:37:36 +02:00

..

contributions

Now libraries are installed with all the dependencies

2019-07-18 10:37:36 +02:00

packages

Make text monitor output area font size dynamically adjustable

2019-03-26 17:18:11 +01:00

view

Preferences: remove outdated preferences

2019-04-02 16:20:58 +02:00

ConsoleOutputStream.java

Apply on-the-fly setFontSize to Console

2018-05-09 15:56:11 +02:00

UpdatableBoardsLibsFakeURLsHandler.java

Remove stray debug print

2016-04-01 17:05:54 +02:00