def __init__(self, document, parent=None): self.scene = QGraphicsScene() QGraphicsView.__init__(self, self.scene, parent) self._document = document # enable antialiasing self.setRenderHints(QPainter.Antialiasing) # draw the background like a plain window background self.setBackgroundBrush(QPalette().brush(QPalette.Normal, QPalette.Window)) # add a view of the document workspace self.workspace = WorkspaceView(document) self.scene.addItem(self.workspace)
class DocumentView(QGraphicsView):
def __init__(self, document, parent=None):
self.scene = QGraphicsScene()
QGraphicsView.__init__(self, self.scene, parent)
self._document = document
# enable antialiasing
self.setRenderHints(QPainter.Antialiasing)
# draw the background like a plain window background
self.setBackgroundBrush(QPalette().brush(QPalette.Normal, QPalette.Window))
# add a view of the document workspace
self.workspace = WorkspaceView(document)
self.scene.addItem(self.workspace)
def destroy(self):
self.workspace.destroy()
self.workspace = None
@property
def document(self):
return(self._document)
# control track list zoom
ZOOMS = (8, 16, 24, 32, 48, 64, 96, 128)
def _zoom_index(self):
pps = self._document.view_scale.pixels_per_second
closest = None
closest_dist = None
for i in range(0, len(self.ZOOMS)):
zoom = self.ZOOMS[i]
dist = abs(zoom - pps)
if ((dist < closest_dist) or (closest_dist is None)):
closest_dist = dist
closest = i
return(closest)
def _apply_zoom_delta(self, delta):
index = self._zoom_index()
if (index is None): return
pps = self._document.view_scale.pixels_per_second
new_pps = self.ZOOMS[index]
if (new_pps == pps):
new_pps = self.ZOOMS[index + delta]
self._document.view_scale.pixels_per_second = new_pps
def zoom_in(self, *args):
self._apply_zoom_delta(1)
def zoom_out(self, *args):
self._apply_zoom_delta(-1)
@property
def can_zoom_in(self):
return(self._document.view_scale.pixels_per_second < self.ZOOMS[-1])
@property
def can_zoom_out(self):
return(self._document.view_scale.pixels_per_second > self.ZOOMS[0])
password = os.environ['PASSWORD']
else:
username = conversation.USERNAME
password = conversation.PASSWORD
return request.form['username'] == username and request.form[
'password'] == password
@app.route("/logout")
def logout():
session['logged_in'] = False
return redirect(url_for('home'))
app.add_url_rule('/workspace/<workspace_id>',
view_func=WorkspaceView.as_view('workspace'))
@app.context_processor
def override_url_for():
return dict(url_for=dated_url_for)
def dated_url_for(endpoint, **values):
if endpoint == 'static':
filename = values.get('filename', None)
if filename:
file_path = os.path.join(app.root_path, endpoint, filename)
values['q'] = int(os.stat(file_path).st_mtime)
return url_for(endpoint, **values)