[gedit] externaltools: use commands_save_document instead of commands.save...

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 446d18998dadc321973ff0b56f80aedc11aff147
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):