1
=== modified file 'miral-shell/floating_window_manager.cpp'
2
--- miral-shell/floating_window_manager.cpp	2017-07-26 10:44:19 +0000
3
+++ miral-shell/floating_window_manager.cpp	2017-07-28 13:43:38 +0000
4
@@ -312,6 +312,7 @@
5
312
        decoration_provider->create_titlebar_for(window_info.window());
312
        decoration_provider->create_titlebar_for(window_info.window());
6
313
313
7
314
    CanonicalWindowManagerPolicy::handle_window_ready(window_info);
314
    CanonicalWindowManagerPolicy::handle_window_ready(window_info);
8
315
    keep_spinner_on_top();
9
315
}
316
}
10
316
317
11
317
void FloatingWindowManagerPolicy::advise_focus_lost(WindowInfo const& info)
318
void FloatingWindowManagerPolicy::advise_focus_lost(WindowInfo const& info)
12
@@ -326,14 +327,18 @@
13
326
    CanonicalWindowManagerPolicy::advise_focus_gained(info);
327
    CanonicalWindowManagerPolicy::advise_focus_gained(info);
14
327
328
15
328
    decoration_provider->paint_titlebar_for(info, 0xFF);
329
    decoration_provider->paint_titlebar_for(info, 0xFF);
16
330
    keep_spinner_on_top();
17
331
}
18
329
332
19
333
void FloatingWindowManagerPolicy::keep_spinner_on_top()
20
334
{
21
330
    // Frig to force the spinner to the top
335
    // Frig to force the spinner to the top
22
331
    if (auto const spinner_session = spinner.session())
336
    if (auto const spinner_session = spinner.session())
23
332
    {
337
    {
24
333
        auto const& spinner_info = tools.info_for(spinner_session);
338
        auto const& spinner_info = tools.info_for(spinner_session);
25
334
339
28
335
        if (spinner_info.windows().size() > 0)
340
        for (auto const& window : spinner_info.windows())
29
336
            tools.raise_tree(spinner_info.windows()[0]);
341
            tools.raise_tree(window);
30
337
    }
342
    }
31
338
}
343
}
32
339
344
33
340
345
34
=== modified file 'miral-shell/floating_window_manager.h'
35
--- miral-shell/floating_window_manager.h	2017-07-26 10:44:19 +0000
36
+++ miral-shell/floating_window_manager.h	2017-07-28 13:43:38 +0000
37
@@ -140,6 +140,7 @@
38
140
140
39
141
    void apply_workspace_hidden_to(miral::Window const& window);
141
    void apply_workspace_hidden_to(miral::Window const& window);
40
142
142
41
143
    void keep_spinner_on_top();
42
143
};
144
};
43
144
145
44
145
#endif //MIRAL_SHELL_FLOATING_WINDOW_MANAGER_H
146
#endif //MIRAL_SHELL_FLOATING_WINDOW_MANAGER_H
Reviewer	Review Type	Date Requested	Status
Mir CI Bot	continuous-integration		Approve on 2017-07-28
Gerry Boland (community)		2017-07-24	Approve on 2017-07-28
Review via email: mp+327965@code.launchpad.net