#include "ColorCode.h"
#include "support/strfwd.h"
-#include "support/docstring.h"
#include <boost/function.hpp>
class BufferView;
class Buffer;
+class docstring_list;
class FuncRequest;
class FuncStatus;
class Inset;
virtual void unregisterSocketCallback(int fd) = 0;
virtual bool searchMenu(FuncRequest const & func,
- std::vector<docstring> & names) const = 0;
+ docstring_list & names) const = 0;
};
} // namespace frontend