-
Jekyll Wu authored
This reduces: * The duplicated code for setting up that push button * The duplicate entries in ui files for the Text and ToolTip Note: there are still quite some duplicate between RenameTabsDialog and EditProfileDialog. Maybe it is good idea to create a customized widget EditTabTitleWidget to reduce the duplicate
9433cc13