Lines Matching refs:scale
52 double scale = get_default_scale(emulator->opts);
54 emulator->window = skin_window_create( layout, emulator->win_x, emulator->win_y, scale, 0);
274 double scale = 0.0;
276 /* possible values for the 'scale' option are
277 * 'auto' : try to determine the scale automatically
278 * '<number>dpi' : indicates the host monitor dpi, compute scale accordingly
279 * '<fraction>' : use direct scale coefficient
282 if (opts->scale) {
283 if (!strcmp(opts->scale, "auto"))
298 scale = strtod( opts->scale, &end );
301 if ( scale < 20 || scale > 1000 ) {
302 fprintf(stderr, "emulator: ignoring bad -scale argument '%s': %s\n", opts->scale,
306 dpi_monitor = scale;
307 scale = 0.0;
310 fprintf(stderr, "emulator: ignoring bad -scale argument '%s': %s\n", opts->scale,
314 else if ( scale < 0.1 || scale > 3. ) {
315 fprintf(stderr, "emulator: ignoring bad -window-scale argument '%s': %s\n", opts->scale,
322 if (scale == 0.0 && dpi_monitor > 0)
323 scale = dpi_monitor*1.0/dpi_device;
325 return scale;
598 android_emulator_set_window_scale(double scale, int is_dpi)
603 scale /= get_device_dpi( emulator->opts );
606 skin_window_set_scale( emulator->window, scale );