12 Commits

Author	SHA1	Message	Date
Lucien Greathouse	2a46df1110	Expose two-way sync. ... - Convert plugin DevSettings flag to settings panel feature - Remove server feature, always enable write API	2020-03-18 10:39:40 -07:00
Lucien Greathouse	0e4f6dea2b	plugin: Add setting for opening scripts externally	2020-03-17 23:20:05 -07:00
Lucien Greathouse	91d45afd0f	Add plugin feature 'UnstableOpenScriptsExternally'	2020-03-17 18:13:52 -07:00
Lucien Greathouse	a398338c02	Two way sync V0 (#282) ... * Unfinished two-way sync API * In-memory two-way sync complete * Move PatchSet application into ChangeProcessor thread, where it can be synchronous * Stop InstanceMap's signals when a ServeSession terminates * Apply patch in ChangeProcessor * Feature flag * Fix error in ChangeProcessor due to wrong drop order	2019-12-20 14:24:28 -08:00
Lucien Greathouse	cfff08cdfd	Add plugin half of script-only, existing-instance-only, two way sync	2019-12-18 17:39:04 -08:00
Lucien Greathouse	2c88c700ca	Work around plugins loading too early by searching for DevSettings via ChildAdded	2019-11-14 18:16:48 -08:00
Lucien Greathouse	c4a7f8675f	Fix log level in plugin dev mode	2019-10-01 18:37:25 -07:00
Lucien Greathouse	15e848d4bf	Add new scripts and machinery to make working on plugin easier	2019-10-01 17:13:28 -07:00
Lucien Greathouse	b6989a18fc	Add conditionally-enabled typechecking using t	2019-03-19 17:57:19 -07:00
Lucien Greathouse	fecb11cba4	Adjust logging and error handling in the client ... * HTTP responses in the error range (400+) now properly turn into errors * ROJO_EPIPHANY_DEV_CREATE now creates more verbose configuration * Default configuration values are now much more explicit * Errors that cause session termination are labeled more clearly.	2019-01-21 10:57:03 -08:00
Lucien Greathouse	f691d8a6a5	Clean up DevSettings	2018-12-03 16:57:28 -08:00
Lucien Greathouse	503d7400f3	Add a dev settings feature, keyed off codename right now	2018-12-03 16:54:21 -08:00