7 Device *Device::current = 0;
9 Device::Device(Graphics::Window &w):
10 Device(w, create_default_options())
13 Device::Device(Graphics::Window &w, const DeviceOptions &o):
18 info.api = get_backend_api();
28 Device &Device::get_current()
31 throw invalid_operation("no current device");