Python replace_extension Examples

Example #1

File: filecontrollers.py Project: wangqiandeniangniang/RIDE

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

Example #2

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

Example #3

File: filecontrollers.py Project: blueenergy/RIDE

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

Example #4

File: settingcontrollers.py Project: blueenergy/RIDE

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