| Age | Commit message (Collapse) | Author |
|---|
|
This allows the window manager to raise the windows as a group, for
example.
|
|
A window's document can change when opening a document from a window
that is has no backing file and no changes. The properties window was
not getting updated propertly when this happened (it still referred to
the old document). Now it is updated properly.
|
|
Previously, if a window was closed and then the clipboard changed,
update_paste_action would still be called with a now-invalid paste
action.
|
|
Also, allow the properties window to be hidden and shown
|
|
|
|
Basic multiple-window support, but no tools.
|
