Index: public/platform/WebMIDIAccessor.h |
diff --git a/public/platform/WebMIDIAccessor.h b/public/platform/WebMIDIAccessor.h |
index 9426f572ccf876c8081c6044e134542408824068..2c5a3c04019cabdd6140fec820015ecd0075ab92 100644 |
--- a/public/platform/WebMIDIAccessor.h |
+++ b/public/platform/WebMIDIAccessor.h |
@@ -35,14 +35,12 @@ |
namespace WebKit { |
-// Abstract interface to the Chromium MIDI system. |
- |
class WebMIDIAccessor { |
public: |
virtual ~WebMIDIAccessor() { } |
- // |access| is set to 1 if MIDIOptions.sysexEnabled is true. Otherwise 0. |
- virtual void requestAccess(int access) { } |
+ // |access| is set to true if MIDIOptions.sysexEnabled is true. Otherwise false. |
+ virtual void requestAccess(bool access) { } |
// |timeStamp| is measured in milliseconds as Web MIDI spec defines. |
virtual void sendMIDIData(unsigned portIndex, const unsigned char* data, size_t length, double timeStamp) { } |
}; |