> tdevelop patch pushed to GIT in hash 722ce1ef.

I noticed this before: When I open TDevelop Designer, in the left-side Common Widgets pane, several buttons have a "(KDE)" suffix. Is there a way to change that to TDE? I looked and did not find anything obvious.

Darrell