|
57db977873
|
Implement solution check forwarding
|
2019-09-06 15:36:40 +02:00 |
|
|
4e60bfc8df
|
Comply API changes & remove unused stuff
|
2019-08-28 16:45:40 +02:00 |
|
|
a88415bad1
|
Make whole frontend dynamically configurable to avoid rebuilds
|
2019-08-28 10:19:14 +02:00 |
|
|
24c994c41e
|
Rename WebSocketService sendJSON() -> send()
|
2019-08-15 21:24:54 +02:00 |
|
|
e6783efa49
|
Remove console & live process log logic (moved to backend)
|
2019-08-15 14:37:55 +02:00 |
|
|
97b911689b
|
Remove copyright headers
|
2019-08-12 16:51:51 +02:00 |
|
|
6e22e7efe9
|
Rename interfaces and variables
|
2019-08-08 14:44:40 +02:00 |
|
|
1808beda90
|
Update console according to the new API
|
2019-08-07 10:26:19 +02:00 |
|
|
1b4c7a1f0f
|
Rename message-types stuff to comply angular naming conventions
|
2018-06-02 17:31:51 +02:00 |
|
|
279a121538
|
Refactor console message types and API
|
2018-05-31 12:11:35 +02:00 |
|
|
887a81ab8e
|
Make type hierarchy from messages
|
2018-05-31 12:02:53 +02:00 |
|
|
e510fb58f6
|
Move all message types to a standardised location
|
2018-05-31 11:31:22 +02:00 |
|
|
2bf68b1500
|
Remove outlines from console and terminalmenu buttons
|
2018-05-31 11:01:51 +02:00 |
|
|
4b92f5552b
|
Make log messages typed
|
2018-05-30 14:19:19 +02:00 |
|
|
b635993656
|
Make JSON-like command classes interfaces
|
2018-05-30 14:10:32 +02:00 |
|
|
e77bd88963
|
Implement changing rewriteContentWith.. config from console API
|
2018-05-30 11:44:40 +02:00 |
|
|
d13935511b
|
Rename config key to clarify meaning
|
2018-05-30 11:40:10 +02:00 |
|
|
ec757bb21d
|
Implement changing showLiveLogs config from console API
|
2018-05-30 11:40:00 +02:00 |
|
|
c889de0b05
|
Move live log checking logic to ProcessLogService
|
2018-05-30 11:14:48 +02:00 |
|
|
cfdb69987d
|
Implement ProcessLogService and hook it up to existing log features
|
2018-05-29 16:48:45 +02:00 |
|
|
1b8a36331c
|
Allow switching between stdout and stderr logs in config.ts
|
2018-05-28 16:36:19 +02:00 |
|
|
0aa67b25aa
|
Make console readonly
|
2018-05-28 14:19:47 +02:00 |
|
|
a9488cd504
|
Make console automagically scroll to bottom
|
2018-05-28 14:19:39 +02:00 |
|
|
f384826200
|
Make console gray again
|
2018-05-28 13:36:06 +02:00 |
|
|
9903ab5250
|
Disable spellchecking in console
|
2018-05-28 13:36:06 +02:00 |
|
|
3565b890c4
|
Implement optional writing of the latest process log to console
|
2018-05-28 13:36:06 +02:00 |
|
|
2f3ea52b8e
|
Implement writing to and reading from console from API
|
2018-05-28 13:36:06 +02:00 |
|
|
6403af00dd
|
Add legal boilerplate to new files
|
2018-05-28 13:36:06 +02:00 |
|
|
1bc687b081
|
Adjust console padding to kinda match terminal padding
|
2018-05-28 13:36:06 +02:00 |
|
|
5112df831d
|
Adjust console font size to kinda match terminal font size
|
2018-05-28 13:36:06 +02:00 |
|
|
8fb0fc7cfc
|
Add barebones console option
|
2018-05-28 13:36:06 +02:00 |
|