Source code for the TabName plugin