2016-05-30 05:28:29 +02:00
|
|
|
#include "editor_scale.h"
|
|
|
|
#include "os/os.h"
|
|
|
|
|
2017-03-19 00:36:26 +01:00
|
|
|
static bool editor_hidpi = false;
|
2016-06-05 23:43:45 +02:00
|
|
|
|
|
|
|
void editor_set_hidpi(bool p_hidpi) {
|
|
|
|
|
2017-03-19 00:36:26 +01:00
|
|
|
editor_hidpi = p_hidpi;
|
2016-06-05 23:43:45 +02:00
|
|
|
}
|
|
|
|
|
2016-05-30 05:28:29 +02:00
|
|
|
bool editor_is_hidpi() {
|
|
|
|
|
2016-06-05 23:43:45 +02:00
|
|
|
return editor_hidpi;
|
2016-05-30 05:28:29 +02:00
|
|
|
}
|