Updates palette and redraw the screen.
| 825 | |
| 826 | // Updates palette and redraw the screen. |
| 827 | void app_refresh_screen() |
| 828 | { |
| 829 | Context* context = UIContext::instance(); |
| 830 | ASSERT(context != NULL); |
| 831 | |
| 832 | Site site = context->activeSite(); |
| 833 | |
| 834 | if (Palette* pal = site.palette()) |
| 835 | set_current_palette(pal, false); |
| 836 | else |
| 837 | set_current_palette(NULL, false); |
| 838 | |
| 839 | // Invalidate the whole screen. |
| 840 | ui::Manager::getDefault()->invalidate(); |
| 841 | } |
| 842 | |
| 843 | // TODO remove app_rebuild_documents_tabs() and replace it by |
| 844 | // observable events in the document (so a tab can observe if the |
no test coverage detected