| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
rz_config.listen_port
|
|
|
|
work)
|
|
|
|
used for merge)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
made css more modular and improved styling of all elements in login page
|
|
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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
input events
|
|
|
|
|
|
- clarifying the meaning of an 'unknown user' case
- removing code duplication in user_db, sticking to exception raising
|
|
|
|
background image now covers the whole background
|
|
Still missing:
remove host/port, let client use same as url it was served on.
remove other flags no longer relevant.
better mapping of server config to avoid double work?
|
