diff --git a/doc/demo.gif b/doc/demo.gif index eabb68ce327d79c059a7bb55b0eaeae834c310f6..f36296b156b6f45a6b18a0f20c8119f974b6619e 100644 Binary files a/doc/demo.gif and b/doc/demo.gif differ