erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-13 12:19:25 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 20
20297 commits 80 branches 3132 tags 577 MiB
Commit graph

2 commits

Author SHA1 Message Date
Marc Durdin
c3b2df80bf chore(developer): tidy up compile hints 2022-11-06 04:59:50 +11: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