diff gui/ui/gmplayer.h @ 33616:4221981ad74c

Prefer playing variable $p to $l. $p is used in the Win32 GUI as well. Leave $l for legacy reasons. Revise skin documentation.
author ib
date Wed, 22 Jun 2011 13:10:23 +0000
parents 520fb0f7544c
children 65ea3b7a704b
line wrap: on
line diff