#include "GuiDialog.h"
#include "ui_ChangesUi.h"
+
+#include "support/debug.h"
#include "support/docstring.h"
void rejectChange();
/// find the next change and highlight it
void nextChange();
+ /// find the previous change and highlight it
+ void previousChange();
private:
///
bool isBufferDependent() const { return true; }
/// always true since dispatchParams() is empty
bool canApply() const { return true; }
-
- /// return date of change
- docstring changeDate() const;
- /// return author of change
- docstring changeAuthor() const;
};
} // namespace frontend