@@ -85,7 +85,6 @@ def __init__(self, parent, filename='', lineno=0, delayable_engine='default'):
8585
8686 # create custom properties
8787 self ._filename = ''
88- self .additionalFilenames = []
8988 self ._language = ''
9089 self ._defaultLanguage = ""
9190 self ._lastSearch = ''
@@ -1029,16 +1028,6 @@ def setPermaHighlight(self, value):
10291028 if not isinstance (value , list ):
10301029 raise TypeError ('PermaHighlight must be a list' )
10311030
1032- def refreshToolTip (self ):
1033- # TODO: This will proably be removed once I add a user interface to
1034- # additionalFilenames.
1035- toolTip = []
1036- if self .additionalFilenames :
1037- toolTip .append ('<u><b>Additional Filenames:</b></u>' )
1038- for filename in self .additionalFilenames :
1039- toolTip .append (filename )
1040- self .setToolTip ('\n <br>' .join (toolTip ))
1041-
10421031 def reloadFile (self ):
10431032 return self .reloadDialog (
10441033 'Are you sure you want to reload %s? You will lose all changes'
@@ -1160,10 +1149,6 @@ def refreshTitle(self):
11601149 def save (self ):
11611150 logger .debug (' Saved Called' .center (60 , '-' ))
11621151 ret = self .saveAs (self .filename ())
1163- # If the user has provided additionalFilenames to save, process each of them
1164- # without switching the current filename.
1165- for filename in self .additionalFilenames :
1166- self .saveAs (filename , setFilename = False )
11671152 return ret
11681153
11691154 def saveAs (self , filename = '' , setFilename = True , directory = '' ):
@@ -1827,9 +1812,6 @@ def windowTitle(self):
18271812 if self .isModified ():
18281813 title += '*'
18291814
1830- if self .additionalFilenames :
1831- title = '[{}]' .format (title )
1832-
18331815 return title
18341816
18351817 def wheelEvent (self , event ):
0 commit comments