| 922 | } |
| 923 | |
| 924 | void Window::PrivateData::onClipboardData(const uint32_t typeId) |
| 925 | { |
| 926 | if (clipboardTypeId != typeId) |
| 927 | clipboardTypeId = 0; |
| 928 | |
| 929 | waitingForClipboardData = false; |
| 930 | } |
| 931 | |
| 932 | #if defined(DEBUG) && defined(DGL_DEBUG_EVENTS) |
| 933 | static int printEvent(const PuglEvent* event, const char* prefix, const bool verbose); |