| Age | Commit message (Collapse) | Author |
|---|
|
specific browsers)
|
|
|
|
|
|
|
|
half a second. Fixes #43
|
|
Fixes #43
|
|
compatibility, instead of ctrl+click
|
|
|
|
before flask template loader bails
|
|
node (informational only)
|
|
various diffBus listeners
|
|
|
|
|
|
|
|
|
|
'X-Forwarded-Host' headers
|
|
|
|
|
|
|
|
|
|
rz_config.listen_port
|
|
|
|
work)
|
|
|
|
used for merge)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
we don't allow moving nor scrolling when property dialog overflows window height,
so this is an interim measure at best.
|
|
resize; fixes #309
|
|
|
|
specifically:
1. take care to remove handler on any hide condition, not click as well
2. previous patch to avoid needlessly hiding completer on showing it
after clicking (we could change that behaviour but not as a unexpected
consequence).
|
|
handler
|
|
|
|
Note that the selection doesn't move with the node, so it is possible to
create a discrepancy, this can happen either when:
1. dragging or zooming the graph
2. causing the bubble animation to playout
The selection text will not be next to the node in both cases until Tab
is pressed again.
Fixing this right now seems too much work, will revisit if this is
really bothersome. Would require either timers or another connection, or
different implementation as a foreign object under the svg node (and so
tied by the layout, no need to change).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- clarifying the meaning of an 'unknown user' case
- removing code duplication in user_db, sticking to exception raising
|
|
|
