From 6470f1da3af74ddbeb999f880bdfc646d4dfbb96 Mon Sep 17 00:00:00 2001
From: the_fiddler <the_fiddler@ebc5dd9b-fb1d-0410-b6f8-d24c324e9604>
Date: Fri, 3 Dec 2010 12:39:42 +0000
Subject: [PATCH] Disabled GetDeviceName until the correct cross-platform API
 can be determined.

---
 Source/OpenTK/Input/Keyboard.cs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Source/OpenTK/Input/Keyboard.cs b/Source/OpenTK/Input/Keyboard.cs
index d923f3be..09116aa1 100644
--- a/Source/OpenTK/Input/Keyboard.cs
+++ b/Source/OpenTK/Input/Keyboard.cs
@@ -74,6 +74,9 @@ namespace OpenTK.Input
             }
         }
 
+#if false
+        // Disabled until a correct, cross-platform API can be defined.
+
         /// <summary>
         /// Retrieves the device name for the keyboard device.
         /// </summary>
@@ -91,6 +94,7 @@ namespace OpenTK.Input
                 return driver.GetDeviceName(index);
             }
         }
+#endif
 
          #endregion
     }