diff --git a/src/desktop.h b/src/desktop.h
index 50041543c2a2e7e98663faeb83fff56ba91e7f77..73b9262ddd01d6dfcd93aadc7c8c06d3030e11ab 100644 (file)
--- a/src/desktop.h
+++ b/src/desktop.h
void setWaitingCursor();
void clearWaitingCursor();
+ bool isWaitingCursor() const { return waiting_cursor; };
void toggleColorProfAdjust();
void toggleGrids();
void toggleSnapGlobal();
- bool gridsEnabled() { return grids_visible; }
+ bool gridsEnabled() const { return grids_visible; };
void showGrids(bool show, bool dirty_document = true);
bool is_iconified();