#ifndef OBSERVABLE_H
#define OBSERVABLE_H
-#include "common/observable.h"
+#include "gdbsupport/observable.h"
struct bpstats;
struct so_list;
frame has changed. */
extern observable<user_selected_what> user_selected_context_changed;
+/* This is notified when the source styling setting has changed and
+ should be reconsulted. */
+extern observable<> source_styling_changed;
+
} /* namespace observers */
} /* namespace gdb */