Merge lp:~tapaal-contributor/tapaal/fix-1848946-annotation-undo-redo into lp:tapaal

Proposed by Peter Haahr Taankvist
Status: Merged
Approved by: Jiri Srba
Approved revision: 1020
Merged at revision: 1020
Proposed branch: lp:~tapaal-contributor/tapaal/fix-1848946-annotation-undo-redo
Merge into: lp:tapaal
Diff against target: 12 lines (+2/-0)
1 file modified
src/pipe/gui/undo/AnnotationTextEdit.java (+2/-0)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/fix-1848946-annotation-undo-redo
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+374602@code.launchpad.net

Commit message

The size of annotation notes now get updated properly on redo

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/undo/AnnotationTextEdit.java'
2--- src/pipe/gui/undo/AnnotationTextEdit.java 2011-09-22 13:02:33 +0000
3+++ src/pipe/gui/undo/AnnotationTextEdit.java 2019-10-23 13:24:15 +0000
4@@ -35,6 +35,8 @@
5 @Override
6 public void redo() {
7 annotationNote.setText(newText);
8+ annotationNote.updateBounds();
9+ annotationNote.repaint();
10 }
11
12 @Override

Subscribers

People subscribed via source and target branches