[gedit/gnome-3-0] externaltools: use commands_save_document instead of commands.save...

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 913acf8ea56c2bea9beeced5c57fe2bc1eafe769
Author: Andreas Fackler <AndreasFackler web de>
Date:   Tue Jul 26 19:44:25 2011 +0200

    externaltools: use commands_save_document instead of commands.save...
    
    https://bugzilla.gnome.org/show_bug.cgi?id=655359

 plugins/externaltools/tools/functions.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/functions.py b/plugins/externaltools/tools/functions.py
index 53e0b85..fce2d29 100644
--- a/plugins/externaltools/tools/functions.py
+++ b/plugins/externaltools/tools/functions.py
@@ -222,7 +222,7 @@ class MultipleDocumentsSaver:
 
         for doc in docs:
             signals[doc] = doc.connect('saving', self.on_document_saving)
-            Gedit.commands.save_document(window, doc)
+            Gedit.commands_save_document(window, doc)
             doc.disconnect(signals[doc])
     
     def on_document_saving(self, doc, size, total_size):