Searched refs:disable_embedded_scaling (Results 1 – 3 of 3) sorted by relevance
426 extern gboolean disable_embedded_scaling;
972 disable_embedded_scaling = gm_pref_store_get_boolean(gmp_store, DISABLE_EMBEDDED_SCALING); in main()
237 gboolean disable_embedded_scaling; variable622 if (embed_window != 0 && disable_embedded_scaling) { in set_media_player_attributes()624 disable_embedded_scaling); in set_media_player_attributes()4736 …disable_embedded_scaling = (gboolean) gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(config_noscal… in config_apply()4818 gm_pref_store_set_boolean(gmp_store, DISABLE_EMBEDDED_SCALING, disable_embedded_scaling); in config_apply()6220 gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(config_noscaling), disable_embedded_scaling); in menuitem_config_callback()