scripts/historyplacement.py (raw)
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 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 |
##############################################################################
### The history window placement algorithm. ebind historyplacement.place ###
### to the ob.EventAction.PlaceWindow event to use it. ###
##############################################################################
import windowplacement, config
def place(data):
"""Place a window usingthe history placement algorithm."""
_place(data)
export_functions = place
##############################################################################
config.add('historyplacement',
'ignore_requested_positions',
'Ignore Requested Positions',
"When true, the placement algorithm will attempt to place " + \
"windows even when they request a position (like XMMS can)." + \
"Note this only applies to 'normal' windows, not to special " + \
"cases like desktops and docks.",
'boolean',
0)
config.add('historyplacement',
'dont_duplicate',
"Don't Diplicate",
"When true, if 2 copies of the same match in history are to be " + \
"placed before one of them is closed (so it would be placed " + \
"over-top of the last one), this will cause the second window to "+\
"not be placed via history, and the 'Fallback Algorithm' will be "+\
"used instead.",
'boolean',
1)
config.add('historyplacement',
'filename',
'History Database Filename',
"The name of the file where history data will be stored. The " + \
"number of the screen is appended onto this name. The file will " +\
"be placed in ~/.openbox/.",
'string',
'historydb')
config.add('historyplacement',
'fallback',
'Fallback Algorithm',
"The window placement algorithm that will be used when history " + \
"placement does not have a place for the window.",
'enum',
windowplacement.random,
options = windowplacement.export_functions)
###########################################################################
###########################################################################
### Internal stuff, should not be accessed outside the module. ###
###########################################################################
import otk
import ob
import os
import string
_data = []
class _state:
def __init__(self, appname, appclass, role, x, y):
self.appname = appname
self.appclass = appclass
self.role = role
self.x = x
self.y = y
self.placed = 0
def __eq__(self, other):
if self.appname == other.appname and \
self.appclass == other.appclass and \
self.role == other.role:
return 1
return 0
def _load(data):
global _data
try:
file = open(os.environ['HOME'] + '/.openbox/' + \
config.get('historyplacement', 'filename') + \
"." + str(data.screen), 'r')
# read data
for line in file.readlines():
line = line[:-1] # drop the '\n'
try:
s = string.split(line, '\0')
state = _state(s[0], s[1], s[2],
string.atoi(s[3]), string.atoi(s[4]))
while len(_data)-1 < data.screen:
_data.append([])
_data[data.screen].append(state)
except ValueError: pass
except IndexError: pass
file.close()
except IOError: pass
def _save(data):
global _data
file = open(os.environ['HOME']+'/.openbox/'+ \
config.get('historyplacement', 'filename') + \
"." + str(data.screen), 'w')
if file:
while len(_data)-1 < data.screen:
_data.append([])
for i in _data[data.screen]:
file.write(i.appname + '\0' +
i.appclass + '\0' +
i.role + '\0' +
str(i.x) + '\0' +
str(i.y) + '\n')
file.close()
def _create_state(data):
global _data
area = data.client.area()
return _state(data.client.appName(), data.client.appClass(),
data.client.role(), area.x(), area.y())
def _find(screen, state):
global _data
try:
return _data[screen].index(state)
except ValueError:
return -1
except IndexError:
while len(_data)-1 < screen:
_data.append([])
return _find(screen, state) # try again
def _place(data):
global _data
if data.client:
if not (config.get('historyplacement', 'ignore_requested_positions') \
and data.client.normal()):
if data.client.positionRequested(): return
state = _create_state(data)
try:
print "looking for : " + state.appname + " : " + \
state.appclass + " : " + state.role
i = _find(data.screen, state)
if i >= 0:
coords = _data[data.screen][i]
print "Found in history ("+str(coords.x)+","+\
str(coords.y)+")"
if not (config.get('historyplacement', 'dont_duplicate') \
and coords.placed):
data.client.move(coords.x, coords.y)
coords.placed = 1
return
else:
print "Already placed another window there"
else:
print "No match in history"
except TypeError:
pass
fallback = config.get('historyplacement', 'fallback')
if fallback: fallback(data)
def _save_window(data):
global _data
if data.client:
state = _create_state(data)
print "looking for : " + state.appname + " : " + state.appclass + \
" : " + state.role
i = _find(data.screen, state)
if i >= 0:
print "replacing"
_data[data.screen][i] = state # replace it
else:
print "appending"
_data[data.screen].append(state)
ob.ebind(ob.EventAction.CloseWindow, _save_window)
ob.ebind(ob.EventAction.Startup, _load)
ob.ebind(ob.EventAction.Shutdown, _save)
print "Loaded historyplacement.py"
|