Print out device number as well as name.

2 files changed, 6 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 5c9b46c..f9a7d71 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2006-06-25  Daniel Stone  <daniel@freedesktop.org>
+
+	* xsetpointer.c:
+	Print out device ID as well as name.
+
 2005-12-14  Kevin E. Martin  <kem-at-freedesktop-dot-org>
 
 	* configure.ac:
diff --git a/xsetpointer.c b/xsetpointer.c
index 0eac310..a3b69cc 100644
--- a/xsetpointer.c
+++ b/xsetpointer.c
@@ -95,7 +95,7 @@ main(int argc, char * argv[])
       for(loop=0; loop<num_devices; loop++)
         {
 	  if (list) {
-	      printf("\"%s\"	[", devices[loop].name ? devices[loop].name : "<noname>");
+	      printf("%d: \"%s\"	[", devices[loop].id, devices[loop].name ? devices[loop].name : "<noname>");
 	      switch(devices[loop].use) {
 	      case IsXPointer:
 		  printf("XPointer]\n");