[gedit] Disable external tools for win32.



commit 14814e64fb6dd62300a08f23d16d34b189cb7c58
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sun Apr 18 16:43:36 2010 +0200

    Disable external tools for win32.
    
    Until we come up with some replacement in win32 let's disable it.

 plugins/Makefile.am |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/plugins/Makefile.am b/plugins/Makefile.am
index 66f7dcb..ba80e09 100644
--- a/plugins/Makefile.am
+++ b/plugins/Makefile.am
@@ -23,7 +23,12 @@ SUBDIRS = 		\
 	time
 
 if ENABLE_PYTHON
-SUBDIRS      += externaltools pythonconsole snippets quickopen
+SUBDIRS      += pythonconsole snippets quickopen
+
+if !OS_WIN32
+SUBDIRS      += externaltools
+endif
+
 endif
 
 if ENABLE_ENCHANT



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]