minor fixes in screencast

tools/autoscreencast.py

@@ -25,7 +25,8 @@ def __init__(self, video_dir: str, prefix: str):
         self.video_dir = op.abspath(video_dir)
 
         ag.PAUSE = 0.2
-        file_name_prefix = f"{ prefix }_{ datetime.now().strftime('%Y-%m-%d_%H:%M:%S') }"
+        ag.MINIMUM_DURATION = 0.05
+        file_name_prefix = f"{ prefix }_{ datetime.now().strftime('%Y-%m-%d_%H-%M-%S') }"
         self.video_path_prefix = op.join(self.video_dir, file_name_prefix)
         self.proc = None
         self.subtitles = ''
@@ -42,7 +43,7 @@ def type(self, text: str, slow=True):
             ag.hotkey('ctrl', 'shift', 'v')
             if slow:
                 base_delay = pause if char == ' ' else ag.MINIMUM_DURATION
-                sleep(base_delay * 0.25 + base_delay * 0.5 * random())
+                sleep(base_delay * (1 + 0.5 * random()))
 
         ag.PAUSE = pause
         ag.hotkey('enter')

tools/screencast.md

@@ -8,7 +8,7 @@ __`ctrl+shift+t`__
 
     clear
 
----
+------
 
     cq-server --help
 
@@ -116,41 +116,43 @@ __`ctrl+s, pgup, down, down, down, end`__
 
 __`left, left, left, backspace, shift+4, ctrl+s`__
 
+UI is updated as soon as a script is saved
+
 ------
 
 __`backspace, shift+6, ctrl+s`__
 
-UI is updated as soon as a script is saved
-
 ------
 
 __`ctrl+tab, ctrl+s`__
 
+if an other file is saved, UI switches the model
+
 ------
 
 __`alt+f4, ctrl+w, pause`__
 
-trying with VSCode
-
 ---
 
+trying with VSCode
+
     codium examples
 
 ------
 
-__`pause, pause, win+pgup`__
+__`pause, pause`__
 
 -------
 
 ...using LivePreview extension
 
 __`ctrl+shift+p`__
 
-----
+---
 
 __`enter`__
 
----
+----
 
     http://127.0.0.1:5000
 
@@ -182,6 +184,10 @@ __`pause, ctrl+d, ctrl+c`__
 
 building the showcase website
 
+    cq-server build --help
+
+---
+
     cq-server build examples docs
 
 ----------
@@ -206,6 +212,8 @@ __`enter`__
 
 __`ctrl+w, pause`__
 
+------
+
 __`ctrl+d`__
 
 ---