This file is indexed.

/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