2016-05-30 05:28:29 +02:00
|
|
|
#include "editor_scale.h"
|
|
|
|
#include "os/os.h"
|
|
|
|
|
2016-09-13 16:05:47 +02:00
|
|
|
static float scale = 1.0;
|
2016-06-05 23:43:45 +02:00
|
|
|
|
2016-09-13 16:05:47 +02:00
|
|
|
void editor_set_scale(float p_scale) {
|
2016-06-05 23:43:45 +02:00
|
|
|
|
2016-09-13 16:05:47 +02:00
|
|
|
scale=p_scale;
|
2016-06-05 23:43:45 +02:00
|
|
|
}
|
2016-09-13 16:05:47 +02:00
|
|
|
float editor_get_scale() {
|
2016-06-05 23:43:45 +02:00
|
|
|
|
2016-09-13 16:05:47 +02:00
|
|
|
return scale;
|
2016-05-30 05:28:29 +02:00
|
|
|
}
|