[MPlayer-dev-eng] gui: subtitle menu is not populated when playing from mpg file

[Ingo Brückl]

Lode Leroy wrote on Fri, 1 Aug 2014 16:30:25 +0200:

> please consider the following fix for mplayer -gui...

> mpctx_get_global_sub_size(guiInfo.mpcontext);
> is not returning the number of subtitles, because
> void update_global_sub_size(MPContext *mpctx)
> was not called to update it.

Fixed in a different way in r37255.

Ingo