Merge branch 'master' into jupyter-worksheet-import-feature

Authored by sirgienko on Jun 30 2019, 9:18 AM.

Description

Merge branch 'master' into jupyter-worksheet-import-feature

Merged Changes

CommitAuthorDetailsCommitted
56495dccbbc3sirgienko
Merge branch 'Applications/19.04' 
Jun 30 2019
8180aec2d1bdsirgienko
[Python] Set up argv for loaded worksheets 
Jun 30 2019
74e5ddad96b1sirgienko
Minor UI logic improvment 
Jun 30 2019
ef30d6680493sirgienko
[Feature] Add "Recent Files" submenu 
Jun 26 2019
a2c01cbb28bbsirgienko
Merge branch 'Applications/19.04' 
Jun 26 2019
c26b559c33edsirgienko
[Python] Fix highlighting bug 
Jun 26 2019
9feab12faf5esirgienko
[Julia] Adapt tests for backend changes 
Jun 26 2019