diff options
-rw-r--r-- | crawl-ref/source/menu.cc | 6 | ||||
-rw-r--r-- | crawl-ref/source/menu.h | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/crawl-ref/source/menu.cc b/crawl-ref/source/menu.cc index dfdefa778f..d40564fad1 100644 --- a/crawl-ref/source/menu.cc +++ b/crawl-ref/source/menu.cc @@ -1286,9 +1286,15 @@ void column_composer::compose_formatted_column( } } +formatted_scroller::formatted_scroller() : Menu() +{ + set_highlighter(NULL); +} + formatted_scroller::formatted_scroller(int _flags, const std::string& s) : Menu(_flags) { + set_highlighter(NULL); add_text(s); } diff --git a/crawl-ref/source/menu.h b/crawl-ref/source/menu.h index de1032f99b..606579c7f8 100644 --- a/crawl-ref/source/menu.h +++ b/crawl-ref/source/menu.h @@ -421,7 +421,7 @@ private: class formatted_scroller : public Menu { public: - formatted_scroller() {} + formatted_scroller(); formatted_scroller(int flags, const std::string& s); virtual void add_item_formatted_string(const formatted_string& s, int hotkey = 0); |