def on_go_to_position_activate(self, *args):
s = entry_dialog(self.window, 'Go to position', 'Go to position: (%) ')
try:
pos = float(s)
except:
return
if 100 < pos < 0:
return
self.text_widget.set_position(pos/100)
def on_new_skin_activate(self, *args):
s = entry_dialog(self.window, 'Save skin', 'Skin name: ')
if s:
self.properties.save_skin(s)
self.update_skins_menu()
