void beep(double freq, double secs, double gain);
int enable_proxy();
int disable_proxy();
- int to_proxy(Asset *asset, int new_scale);
+ int to_proxy(Asset *asset, int new_scale, int new_use_scaler);
ProxyBeep *proxy_beep;
void dump_plugins(FILE *fp=stdout);