| Index: services/ui/ws/window_server.h
|
| diff --git a/services/ui/ws/window_server.h b/services/ui/ws/window_server.h
|
| index 64e421169c6de0173a9972a0a990ae575e5b6df7..27934bb166007599238250c1f2be50d781d1c9c8 100644
|
| --- a/services/ui/ws/window_server.h
|
| +++ b/services/ui/ws/window_server.h
|
| @@ -143,6 +143,9 @@ class WindowServer : public ServerWindowDelegate,
|
| bool SetFocusedWindow(ServerWindow* window);
|
| ServerWindow* GetFocusedWindow();
|
|
|
| + bool is_in_high_contrast_mode() const { return is_in_high_contrast_mode_; }
|
| + void SetHighContrastMode(bool enabled);
|
| +
|
| // Returns a change id for the window manager that is associated with
|
| // |source| and |client_change_id|. When the window manager replies
|
| // WindowManagerChangeCompleted() is called to obtain the original source
|
| @@ -333,6 +336,7 @@ class WindowServer : public ServerWindowDelegate,
|
| Operation* current_operation_;
|
|
|
| bool in_destructor_;
|
| + bool is_in_high_contrast_mode_ = false;
|
|
|
| // Maps from window manager change id to the client that initiated the
|
| // request.
|
|
|