1 |
if (paused && !pausing) |
2 |
{ |
3 |
pausing = true; |
4 |
audio_pause_all(); |
5 |
instance_deactivate_all(true); |
6 |
} |
7 |
if (pausing && !os_is_paused()) |
8 |
{ |
9 |
paused = false; |
10 |
pausing = false; |
11 |
instance_activate_all(); |
12 |
audio_resume_all(); |
13 |
alarm[0] = 1; |
14 |
} |
15 |
if (!global.is_console) |
16 |
{ |
17 |
var nowfullscreen = window_get_fullscreen(); |
18 |
if (nowfullscreen != isfullscreen) |
19 |
{ |
20 |
ini_open("true_config.ini"); |
21 |
ini_write_real("SCREEN", "FULLSCREEN", nowfullscreen); |
22 |
ini_close(); |
23 |
show_debug_message("fullscreen switched:" + string(nowfullscreen)); |
24 |
if (!nowfullscreen) |
25 |
{ |
26 |
window_set_size(640 * window_size_multiplier, 480 * window_size_multiplier); |
27 |
alarm[2] |
28 |
} |
29 |
} |
30 |
isfullscreen = nowfullscreen; |
31 |
} |