GitLab

The settings option that sets the board type in the server now also updates the blockly workspace to use the selected new board profile.

This was an issue in Python 2, but not in Python 3 (as it is unicode by default)

Remove unnecessary example js code and minify the require.js library.

The SketchCreator should now be able to deal properly with unicode sketch directories and unicode in the sketch code itself when run in Python 2 (was not an issue in Python 3).

This helps circumvent the issue with the default being the OS root in OSX, which needs sudo rights to write a file.

Still a lot of work to do in this area, but at least the scope of work is more clear now.

Unit test for the gui and actions still under work.

No longer required to remove Electron framework symlinks as the electron bug fix has been fixed
Updated some unit tests that failed under Mac OS
Updated compilersettings to fix the singleton implementation

compilersettings.py uses better python variables names.
Unit test for the ide load option added (still a lot of work left for unit testing in general).

Also updated Electron app to be able to use the IDE options from the menu bar.

Freaking git sometimes does not make any sense at all!

Conflicts:
	ardublockly/ardublockly_design.js

Updated the main code to better control the splash screen.

Due to logic implementation the old version had an ugly effect at the point where the toolbar scrolled up and the button background appeared.
Now it scales back up to the button position and has a softer background fade effect.
Moved all the layout control into the ardublockly_design.js file as it all deals with the front end design.
Logic code still in main ardublockly.js file, but much simple implementation.
If there were any error loading the page the visibility icon would awkwardly stand in the workspace corner, now it is only displayed together with the Blockly workspace.

Resolved conflicts:
	blockly/blocks/loops.js
	blockly/blocks/math.js

[ci skip]

Also the developer menu can trigger the hidden side menu.

Also improved the top nav bar content sizes in different screen resolutions.