| Age | Commit message (Collapse) | Author |
|---|
|
|
|
available for other user procedures
|
|
|
|
|
|
|
|
|
|
|
|
try/catch
|
|
|
|
catch assumes log is intact anyway
|
|
built is controlled by property do-client-optimize which defaults to
false.
Even if the optimized main is built (single file main-built.js and
source map file main-built.js.map) they are not used unless
rhizi-config.conf client_optimize is set to True which causes app.js to
use main-built.js and not main.js
The resulting file is 687 KiloBytes large. Pretty scary, but it still
loads faster this way. (from very small tests locally). This is without
compression done by the server.
|
|
|
|
drops animation of width because I couldn't get the plus button to animate the same.
|
|
specific browsers)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
half a second. Fixes #43
|
|
Fixes #43
|
|
compatibility, instead of ctrl+click
|
|
|
|
since 12c63e0ec0be16795402fab6e6af0922179f9029 (two/three commits ago)
|
|
before flask template loader bails
|
|
node (informational only)
|
|
various diffBus listeners
|
|
|
|
|
|
|
|
|
|
|
|
'X-Forwarded-Host' headers
|
|
|
|
|
|
|
|
|
|
|
|
rz_config.listen_port
|
|
|
|
work)
|
|
|
|
used for merge)
|
|
|
|
|
|
|
|
|
|
|
|
|
