nathan 5542298b83 Better label width variable name ... Use --label-width instead of --width to be more specific, and avoid any potential conflicts		2022-07-19 16:42:39 -06:00
..
default	Better label width variable name	2022-07-19 16:42:39 -06:00
test	Improvements for entry widget for robustness, includes automatic server side tests.	2018-11-15 11:15:35 -07:00