Tim Robinson
|
68a3a33e5f
|
Removed 'use mocha' from codebase. Fixed issue with architect_resolver_test that lennart reported.
|
2015-08-25 10:51:36 +00:00 |
nightwing
|
592a36bcbb
|
fix spaces appearing after double width characters in terminal
|
2015-07-09 10:37:13 +04:00 |
nightwing
|
70a0c84f40
|
fix terminal input getting stuck sometimes
|
2015-07-08 16:08:38 +04:00 |
nightwing
|
b862cf750e
|
fix +3385: fullwidth characters are not handled by libterm
|
2015-07-04 17:03:36 +04:00 |
nightwing
|
5f89b78295
|
remove very old css vendor prefixes
|
2015-07-01 07:10:35 +04:00 |
nightwing
|
058508d97a
|
change \r\n to \n when pasting in terminal
|
2015-06-25 19:13:34 +04:00 |
nightwing
|
2b6730ff49
|
tmux 2 doesn't print change-trigger message on startup
|
2015-06-08 14:15:44 +00:00 |
Alex Brausewetter
|
8b36b051d3
|
Rename defaultEditor to defaultEnvEditor
|
2015-05-11 13:02:09 +00:00 |
Ruben Daniels
|
dd8ed52b4f
|
Add setting for the default editor
|
2015-05-01 01:53:12 +00:00 |
Ruben Daniels
|
21b75cb86b
|
Add editor to the terminal
|
2015-05-01 01:44:12 +00:00 |
Ruben Daniels
|
69888da842
|
Added --wait and added to the terminal
|
2015-05-01 01:20:58 +00:00 |
nightwing
|
9576ecad48
|
tweak ack link_handler
|
2015-04-28 14:24:51 +04:00 |
nightwing
|
f919637dd3
|
add ack support to terminal hover_link
|
2015-04-26 22:34:53 +04:00 |
nightwing
|
4b4942334d
|
fix bold fonts in terminal
|
2015-04-16 19:29:40 +04:00 |
nightwing
|
aae131da51
|
more fixed for publish on windows
|
2015-04-16 19:29:35 +04:00 |
Ruben Daniels
|
1afdd864ab
|
Fixes Harutyun's comments
|
2015-04-08 22:37:32 +04:00 |
nightwing
|
6186fdf212
|
twaek terminal monitor
|
2015-03-17 10:51:22 +04:00 |
nightwing
|
b58993dca6
|
fix issue with windows 8 language switching shortcut
|
2015-02-28 01:49:35 +04:00 |
Ruben Daniels
|
258449b0a6
|
Update copyright notice
|
2015-02-15 02:12:39 +00:00 |
nightwing
|
8241750a76
|
remove incorrect license information from comments
|
2015-02-15 02:00:58 +04:00 |
c9bot
|
b0108959bc
|
initial commit
|
2015-02-10 23:41:24 +04:00 |