~ci-train-bot/miral/miral-ubuntu-zesty-2317

Viewing all changes in revision 319.

Add WindowManagerTools::id_for_window to get persistent id for a Window

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: