view binary.ver @ 36651:64f9837de3a5

Don't unnecessarily load a font. Leave it to MPlayer to carry it out. This improves speed dramatically and allows changing font related settings during playback of a video with immediate effect.
author ib
date Sun, 26 Jan 2014 16:44:31 +0000
parents 7e4a8748cf9a
children
line wrap: on
line source

MPLAYER_1 {
  # to support glibcs abhorrent backwards-compatibility hack
  global: _IO_stdin_used;
  local: *;
};