diff options
Diffstat (limited to 'graphics/passepartout/files/patch-src::pptout::pagent.cc')
-rw-r--r-- | graphics/passepartout/files/patch-src::pptout::pagent.cc | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/graphics/passepartout/files/patch-src::pptout::pagent.cc b/graphics/passepartout/files/patch-src::pptout::pagent.cc new file mode 100644 index 000000000000..d081632cf0fc --- /dev/null +++ b/graphics/passepartout/files/patch-src::pptout::pagent.cc @@ -0,0 +1,53 @@ +--- src/pptout/document/pagent.cc.orig Thu Dec 4 10:24:15 2003 ++++ src/pptout/document/pagent.cc Thu Dec 4 10:25:23 2003 +@@ -77,8 +77,8 @@ + new_w(w), new_h(h), + old_w(pagent.get_width()), old_h(pagent.get_height()) + {} +- void undo() const {pagent.set_size(new_w, new_h, false);} +- void redo() const {pagent.set_size(old_w, old_h, false);} ++ void undo() const {pagent.set_size(new_w, new_h);} ++ void redo() const {pagent.set_size(old_w, old_h);} + private: + Pagent &pagent; + float new_w, new_h, old_w, old_h; +@@ -104,7 +104,7 @@ + Action(locked ? "Lock" : "Unlock"), + pagent(_pagent) + {} +- void undo() const {pagent.set_lock(!pagent.get_lock(), false);} ++ void undo() const {pagent.set_lock(!pagent.get_lock());} + void redo() const {undo();} + private: + Pagent &pagent; +@@ -131,7 +131,7 @@ + pagent(_pagent) + {} + void undo() const +- {pagent.set_flow_around(!pagent.get_flow_around(), false);} ++ {pagent.set_flow_around(!pagent.get_flow_around());} + void redo() const {undo();} + private: + Pagent &pagent; +@@ -155,8 +155,8 @@ + pagent(_pagent), + old_margin(pagent.get_obstacle_margin()), new_margin(margin) + {} +- void undo() const {pagent.set_obstacle_margin(old_margin, false);} +- void redo() const {pagent.set_obstacle_margin(new_margin, false);} ++ void undo() const {pagent.set_obstacle_margin(old_margin);} ++ void redo() const {pagent.set_obstacle_margin(new_margin);} + private: + Pagent &pagent; + float old_margin, new_margin; +@@ -181,8 +181,8 @@ + Action("Rename"), + pagent(_pagent), old_name(pagent.get_name()), new_name(name) + {} +- void undo() const {pagent.set_name(old_name, false);} +- void redo() const {pagent.set_name(new_name, false);} ++ void undo() const {pagent.set_name(old_name);} ++ void redo() const {pagent.set_name(new_name);} + private: + Pagent &pagent; + std::string old_name, new_name; |