[PATCH] Remove unused variable by using basename() instead of split()

[Vincent Legoll <vincent legoll gmail com>]

We don't need 'leading', so just use os.path.basename()

-- 
Vincent Legoll

Index: dirdiff.py
===================================================================
--- dirdiff.py	(révision 1182)
+++ dirdiff.py	(copie de travail)
@@ -1013,7 +1013,7 @@
             for component in changed:
                 child = model.iter_children( it )
                 while child:
-                    leading, name = os.path.split( model.value_path(child, pane) )
+                    name = os.path.basename(model.value_path(child, pane))
                     if component == name : # found it
                         it = child
                         break