Adjust mark area width to mark width.

Patch by Kevin Funk
This commit is contained in:
hjk
2011-03-23 10:45:04 +01:00
parent 1e8e9612c3
commit f67e9a54c9
4 changed files with 33 additions and 4 deletions

View File

@@ -189,6 +189,7 @@ public:
void emitDocumentSizeChanged() { emit documentSizeChanged(documentSize()); }
int lastSaveRevision;
bool hasMarks;
double maxMarkWidthFactor;
int m_requiredWidth;
void setRequiredWidth(int width);