/usr/lib/python2.7/dist-packages/pymol/gui.py is in pymol 1.7.2.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 | #A* -------------------------------------------------------------------
#B* This file contains source code for the PyMOL computer program
#C* Copyright (c) Schrodinger, LLC.
#D* -------------------------------------------------------------------
#E* It is unlawful to modify or remove this copyright notice.
#F* -------------------------------------------------------------------
#G* Please see the accompanying LICENSE file for further information.
#H* -------------------------------------------------------------------
#I* Additional authors of this source file include:
#-*
#-*
#-*
#Z* -------------------------------------------------------------------
# abstract (external or internal) gui control interface
if __name__=='pymol.gui':
import pymol
import cmd
def get_pmgapp():
'''
TODO move to this module
'''
from pymol import plugins
return plugins.get_pmgapp()
# external gui control
def ext_hide(_self=cmd):
pymol = _self._pymol
if pymol._ext_gui != None:
pymol._ext_gui.fifo.put('self.root.withdraw()')
else:
pass
def ext_show(_self=cmd):
pymol = _self._pymol
if pymol._ext_gui != None:
pymol._ext_gui.fifo.put('self.root.deiconify()')
else:
pass
# common actions
def save_as(_self=cmd):
pymol = _self._pymol
if pymol._ext_gui != None:
pymol._ext_gui.fifo.put('self.skin.session_save_as()')
else:
pass
def save_image(_self=cmd):
pymol = _self._pymol
if pymol._ext_gui != None:
pymol._ext_gui.fifo.put('self.skin.file_save_png()')
else:
pass
|