device: cleanup

src/device/device.cpp

@@ -251,9 +251,6 @@ bool Device::process_events(bool vsync)
 	OsEvent event;
 	while (next_event(event))
 	{
-		if (event.type == OsEventType::NONE)
-			continue;
-
 		switch (event.type)
 		{
 		case OsEventType::BUTTON:

src/device/device_event_queue.inl

@@ -94,14 +94,6 @@ struct DeviceEventQueue
 		push_event(ev);
 	}
 
-	void push_none_event()
-	{
-		OsEvent ev;
-		ev.type = OsEventType::NONE;
-
-		push_event(ev);
-	}
-
 	bool push_event(const OsEvent& ev)
 	{
 		const int tail = _tail.load(std::memory_order_relaxed);

src/device/types.h

@@ -23,8 +23,7 @@ struct OsEventType
 		EXIT,
 		PAUSE,
 		RESUME,
-		TEXT,
-		NONE
+		TEXT
 	};
 };
 

tools-imgui/level_editor.cpp

@@ -1469,9 +1469,6 @@ bool tool_process_events()
 	OsEvent event;
 	while (next_event(event))
 	{
-		if (event.type == OsEventType::NONE)
-			continue;
-
 		switch (event.type)
 		{
 		case OsEventType::BUTTON: