Python replace_extensionの例

コード例 #1

ファイル: filecontrollers.py プロジェクト: wangqiandeniangniang/RIDE

 def set_format(self, format):
     self.data.source = utils.replace_extension(self.filename, format)
     self.filename = self.data.source

コード例 #2

 def change_format(self, format):
     if self._has_format():
         self.set_value(utils.replace_extension(self.name, format))
     else:
         self.unresolve()

コード例 #3

ファイル: filecontrollers.py プロジェクト: blueenergy/RIDE

 def set_format(self, format):
     self.data.source = utils.replace_extension(self.filename, format)
     self.filename = self.data.source

コード例 #4

ファイル: settingcontrollers.py プロジェクト: blueenergy/RIDE

 def change_format(self, format):
     if self._has_format():
         self.set_value(utils.replace_extension(self.name, format))
     else:
         self.unresolve()