Julia 8bada3941c Add debounce for re-querying completion documentation

2024-01-31 09:50:26 -05:00

..

default.json

Add debounce for re-querying completion documentation

2024-01-31 09:50:26 -05:00

initial_local_settings.json

Fix comments in settings files

2023-06-13 04:03:51 -04:00

initial_user_settings.json

Update default ui font settings

2023-11-21 10:43:18 -05:00