comparison gui/ui/widgets.c @ 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 d9b805602aa1
children 3a93b9227b01
comparison
equal deleted inserted replaced
33615:1f9a31d4f114 33616:4221981ad74c