Patch #1472877: Fix Tix subwidget name resolution.
2 files changed