#include "DocumentClassPtr.h"
#include "update_flags.h"
-#include "support/shared_ptr.h"
#include "support/strfwd.h"
#include "support/types.h"
/// Ensure that the BufferView cursor is visible.
/// This method will automatically scroll and update the BufferView
/// if needed.
- void showCursor();
+ void showCursor();
/// Ensure the passed cursor \p dit is visible.
/// This method will automatically scroll and update the BufferView
/// if needed.