 Nicolas Petton
|
975e44c708
Merge branch 'dark-theme'
|
преди 10 години |
|
Nicolas Petton
|
07cc512500
Moves Helios to its own namespace
|
преди 10 години |
|
Nicolas Petton
|
5e2219764d
Merge pull request #932 from BenjaminVanRyseghem/dark_theme
|
преди 10 години |
 Benjamin Van Ryseghem
|
878736ab9a
Starts to implement theme settings
|
преди 10 години |
|
Benjamin Van Ryseghem
|
7f923b576d
Change theme name to niflheim
|
преди 10 години |
|
Benjamin Van Ryseghem
|
6958457596
Use darcula as codemirror theme
|
преди 10 години |
|
Nicolas Petton
|
870a0e24d3
recompiles all files
|
преди 10 години |
|
Nicolas Petton
|
5dba98b6e0
Renames Environment >> evaluateString:on: to #evaluate:for:
|
преди 10 години |
|
Nicolas Petton
|
7735c06ec0
fixes #832
|
преди 10 години |
|
Nicolas Petton
|
965ddb4108
Fixes #894
|
преди 10 години |
|
Nicolas Petton
|
32ef4e9d3f
Deprecates Object >> try:catch: in favor of BlockClosure >> tryCatch:
|
преди 10 години |
|
Nicolas Petton
|
d616ad960e
Fixes mutliple confirm dialog when cancelling changes
|
преди 10 години |
|
Nicolas Petton
|
5844191975
Avoids having several warnings in a row about unsaved changes
|
преди 10 години |
|
Nicolas Petton
|
9270d8dd40
renames `Node >> atPosition:` to `Node >> navigationNodeAt:ifAbsent:`
|
преди 10 години |
|
Nicolas Petton
|
a66bb5f425
Fixes #887
|
преди 10 години |
 Herbert Vojčík
|
697c8f442e
fix ctrl-click not working on chrome. Fixes #859
|
преди 10 години |
|
Nicolas Petton
|
ceff155d43
Fix a typo
|
преди 10 години |
|
Nicolas Petton
|
14ad4d2143
removes some console logs
|
преди 10 години |
|
Nicolas Petton
|
6684305b48
Open a debugger on browseIt errors
|
преди 10 години |
|
Nicolas Petton
|
7d0647706e
Ignore browseIt errors.
|
преди 10 години |
|
Nicolas Petton
|
896efd859f
fixes #833
|
преди 10 години |
|
Nicolas Petton
|
d1cb5bd54e
Fixes #859
|
преди 10 години |
|
Nicolas Petton
|
3856bb343e
Fixes #882 by catching all exceptions on DoIt, bypassing boot.js
|
преди 10 години |
|
Nicolas Petton
|
f8c679c125
Renames js/ to src/
|
преди 10 години |
