boyska 7df8d60f1b js: name changed while typing ... there used to be a slight bug. Suppose the user types a text in the input box, and never changes the focus. Then, she press "Stop". the click and the focus lost happen in nearly the same moment, which leads to a race in which the name is set only if the /api/update arrives before the /api/generate. Sending the message before losing the focus mitigates the issue		2019-11-16 02:20:40 +01:00
..
css	FIX forms: more accessible (but less beautiful)	2014-05-03 21:58:04 +02:00
fonts	work in progress: changing completely the graphics	2013-12-02 20:58:43 +01:00
img	Merge client and server in a single bottle app	2013-11-26 12:04:43 +01:00
js	js: name changed while typing	2019-11-16 02:20:40 +01:00
techrec	Archive finally linked; closes #18	2014-04-24 12:35:46 +02:00