erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-06 08:55:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 13
31179 commits 89 branches 3129 tags 563 MiB
Commit graph

3 commits

Author SHA1 Message Date
Marc Durdin
d2cfd5cc7e chore(developer): address review comments 2022-07-15 06:13:44 +10:00
Marc Durdin
45f97988cf fix(developer): reduce timeouts if server shut down 
If Server is shut down, Keyman Developer now handles this better
and offers to restart it in UI interactions, and backs out quietly
in non-UI processes.
 2022-07-14 16:28:39 +10:00
Marc Durdin
a160a5c709 chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00
Renamed from windows/src/developer/TIKE/http/Keyman.Developer.System.ServerAPI.pas (Browse further)