18 Commits

Author	SHA1	Message	Date
Kristóf Tóth	685b9755b9	Optimize tab switching: saving only happens if state is 'DIRTY'	2018-03-02 10:40:31 +01:00
Kristóf Tóth	2d6289609f	Implement tab switching saving files	2018-02-28 15:38:22 +01:00
Kristóf Tóth	277d253fbf	Add spinning reload animation for Satan's grace	2018-02-28 15:05:51 +01:00
Kristóf Tóth	52298cbd8c	Update webide frontend to emphasize that a process is being reloaded	2018-02-28 14:13:01 +01:00
Bálint Bokros	c88fd8c3b8	Make mode binding one-way ... It is only updated one-way, so the binding shouldn't be two-way.	2018-02-15 11:29:51 +01:00
Bálint Bokros	882899ee9c	Move handling textChanged to separate macrotask	2018-02-15 11:29:51 +01:00
Kristóf Tóth	13e60e5d98	Refactor save! saving... saved! truth table to single string :D	2018-02-09 14:59:10 +01:00
Kristóf Tóth	d0a35b53d3	Implement save saving... saved! button magic. Refactor via enum	2018-02-09 14:30:37 +01:00
Kristóf Tóth	9030df0a2b	Implement feedback for "save" button	2018-02-09 13:43:08 +01:00
Kristóf Tóth	a524651117	Make webide "save" button match the "design"	2018-02-09 11:43:55 +01:00
Kristóf Tóth	e1fb56eb0a	Make frontend nice af	2018-02-07 17:06:06 +01:00
Kristóf Tóth	239c985056	Make webide "tabs" nicer	2018-02-07 16:11:11 +01:00
Kristóf Tóth	ec4f70cd12	Implement multiple webide tabs	2018-02-07 14:51:37 +01:00
Kristóf Tóth	a9d2dd57bc	Implement webide file changing with poc text input	2018-02-07 13:16:14 +01:00
Bálint Bokros	a45fd0a465	Remove top margin from WebIDE component	2018-02-01 16:35:00 +01:00
Bálint Bokros	dec3c5dbca	Move hardcoded style to CSS in WebIDE	2018-02-01 16:35:00 +01:00
Bálint Bokros	fd7d3b83d6	Add initial logic to WebIDE	2018-01-11 16:11:01 +01:00
Bálint Bokros	f82f9a55ae	Create initial version of application	2017-12-18 17:52:10 +01:00