7 Commits

Include renames

Author	SHA1	Message	Date
undefined	2dabe3194e	ui: add editor setting (#622)	2023-07-26 03:39:12 +08:00
undefined	9c4df49949	ui: scratchpad: use standard file uri	2023-05-05 00:29:23 +08:00
undefined	909c5a785f	ui: set input/output draggable	2023-03-01 15:04:58 +08:00
undefined	73d872b238	ui: add cordis	2023-02-28 08:54:58 +08:00
undefined	e964eec099	ui: scratchpad: handle duplicate click event	2022-10-16 21:51:48 +08:00
undefined	2e050f5851	ui: bug fix	2022-09-29 18:55:18 +08:00
undefined	c0550fc97c	ui: scratchpad: allow reuse existing models	2022-09-29 17:02:51 +08:00