326 lines
10 KiB
Python
326 lines
10 KiB
Python
#!/usr/bin/python
|
|
# -*- coding: utf-8 -*-
|
|
|
|
import os, re
|
|
# sys,
|
|
from PyQt5 import QtCore
|
|
from PyQt5.QtCore import QUrl, QSettings, QSizeF
|
|
from PyQt5.QtGui import QKeySequence, QFont
|
|
from PyQt5.QtWidgets import QWidget, QTabWidget, QVBoxLayout, QHBoxLayout, QSplitter, QPlainTextEdit, QShortcut, QPushButton, QCheckBox, QSpinBox, QLabel
|
|
from PyQt5.QtWebKit import QWebSettings
|
|
from PyQt5.QtWebKitWidgets import QWebView, QWebInspector
|
|
from PyQt5.QtPrintSupport import QPrintPreviewDialog, QPrinter
|
|
|
|
|
|
class WebkitView(QWebView):
|
|
def __init__(self, parent, core):
|
|
self.parent = parent
|
|
self.core = core
|
|
self.port = core.server.port
|
|
self.view = QWebView.__init__(self, parent)
|
|
self.setZoomFactor(1)
|
|
self.load(QUrl('http://localhost:'+str(self.port)))
|
|
self.settings().setAttribute(QWebSettings.DeveloperExtrasEnabled, True)
|
|
# self.settings().setAttribute(QWebSettings.PluginsEnabled, True)
|
|
|
|
self.initPDF()
|
|
# self.mainframe = self.page.mainFrame()
|
|
# print(self.mainframe)
|
|
|
|
def initPDF(self):
|
|
self.printer = QPrinter(QPrinter.HighResolution)
|
|
self.printer.setFullPage(True)
|
|
# self.printer.setPageMargins(0,0,0,0,QPrinter.Millimeter)
|
|
self.printer.setFontEmbeddingEnabled(True)
|
|
self.printer.setColorMode(QPrinter.Color)
|
|
# TODO: set the page size and orientation from doc settings
|
|
# (need to do doc settings before that)
|
|
# self.printer.setPageSize(QPrinter.A4)
|
|
self.printer.setPaperSize(QSizeF(210, 300), QPrinter.Millimeter)
|
|
# self.printer.setOrientation(QPrinter.Portrait)
|
|
self.printer.setOutputFormat(QPrinter.PdfFormat)
|
|
self.printer.setCreator('Cascade')
|
|
self.printer.setDocName(self.core.projectname)
|
|
self.printer.setOutputFileName(self.core.projectname+".pdf")
|
|
# self.setFixedWidth(1000)
|
|
|
|
|
|
def ongenPDF(self):
|
|
# QPrinter::Custom
|
|
# dialog = QPrintPreviewDialog(self.printer)
|
|
# dialog.setWindowState(Qt.WindowMaximized)
|
|
# dialog.paintRequested.connect(self.print_)
|
|
# dialog.setWindowFlags(Qt.CustomizeWindowHint | Qt.WindowTitleHint | Qt.WindowMinMaxButtonsHint | Qt.WindowCloseButtonHint | Qt.WindowContextHelpButtonHint)
|
|
# dialog.exec()
|
|
# TODO: open a dialogue to ask where to save the pdf
|
|
# TODO: reload webview and wait for it before printing
|
|
# TODO: addd a progress bar
|
|
# self.webview.
|
|
self.print_(self.printer)
|
|
|
|
def refresh(self):
|
|
self.initPDF()
|
|
self.reload()
|
|
|
|
class WebkitInspector(QWebInspector):
|
|
def __init__(self, parent, webkitview):
|
|
super(WebkitInspector, self).__init__(parent)
|
|
self.webkitview = webkitview
|
|
self.setPage(self.webkitview.page())
|
|
self.showMaximized()
|
|
# TODO: webkitinspector is disappearing when chaging tabs
|
|
|
|
class WebViewToolBar(QWidget):
|
|
def __init__(self, parent):
|
|
super(WebViewToolBar, self).__init__(parent)
|
|
self.parent = parent
|
|
|
|
font = QFont()
|
|
# font.setFamily("Droid Sans Mono")
|
|
# font.setFixedPitch(True)
|
|
font.setPointSize(8)
|
|
self.setFont(font)
|
|
|
|
|
|
self.hbox = QHBoxLayout()
|
|
self.hbox.setContentsMargins(0,0,0,0)
|
|
|
|
self.preview = QCheckBox('&Preview', self)
|
|
# self.preview.setShortcut('Ctrl+Shift+p')
|
|
self.preview.clicked.connect(self.onPreview)
|
|
self.hbox.addWidget(self.preview)
|
|
|
|
self.debug = QCheckBox('Deb&ug', self)
|
|
# self.debug.setShortcut('Ctrl+Shift+u')
|
|
self.debug.clicked.connect(self.onDebug)
|
|
self.hbox.addWidget(self.debug)
|
|
|
|
self.grid = QCheckBox('&Grid', self)
|
|
# self.grid.setShortcut('Ctrl+Shift+g')
|
|
self.grid.clicked.connect(self.onGrid)
|
|
self.hbox.addWidget(self.grid)
|
|
|
|
# spread
|
|
self.spread = QCheckBox('&Spread', self)
|
|
# self.spread.setShortcut('Ctrl+Shift+g')
|
|
self.spread.clicked.connect(self.onSpread)
|
|
self.hbox.addWidget(self.spread)
|
|
|
|
self.hbox.addStretch()
|
|
|
|
# zoom
|
|
self.hbox.addWidget(QLabel("Zoom:"))
|
|
self.zoom = QSpinBox(self)
|
|
# TODO: action
|
|
self.hbox.addWidget(self.zoom)
|
|
|
|
# page
|
|
self.hbox.addWidget(QLabel("Page:"))
|
|
self.page = QSpinBox(self)
|
|
# TODO: action
|
|
self.hbox.addWidget(self.page)
|
|
|
|
self.addpage = QPushButton("&Add Page", self)
|
|
# self.addpage.setShortcut('Ctrl+Shift+r')
|
|
# TODO: how to define same shortcut in different places
|
|
# self.addpage.setIcon(Icon(ico)))
|
|
# self.addpage.clicked.connect(self.onAddPage)
|
|
self.hbox.addWidget(self.addpage)
|
|
|
|
self.hbox.addStretch()
|
|
|
|
|
|
|
|
self.reload = QPushButton("&Reload", self)
|
|
# self.reload.setShortcut('Ctrl+Shift+r')
|
|
# TODO: how to define same shortcut in different places
|
|
# self.reload.setIcon(Icon(ico)))
|
|
self.reload.clicked.connect(self.onReload)
|
|
self.hbox.addWidget(self.reload)
|
|
|
|
self.genpdf = QPushButton("&PDF", self)
|
|
# self.genpdf.setShortcut('Ctrl+Shift+r')
|
|
# TODO: how to define same shortcut in different places
|
|
# self.genpdf.setIcon(Icon(ico)))
|
|
self.genpdf.clicked.connect(self.onGenPDF)
|
|
self.hbox.addWidget(self.genpdf)
|
|
|
|
self.setLayout(self.hbox)
|
|
|
|
def onPreview(self):
|
|
print('onPreview')
|
|
|
|
def onDebug(self):
|
|
print('onDebug')
|
|
|
|
def onGrid(self):
|
|
print('onGrid')
|
|
|
|
def onSpread(self):
|
|
print('onSpread')
|
|
|
|
|
|
def onReload(self):
|
|
print("onReload")
|
|
# self.parent.webkitview.
|
|
|
|
def onGenPDF(self):
|
|
print("onGenPDF")
|
|
self.parent.webkitview.ongenPDF()
|
|
|
|
|
|
class CodeEditor(QPlainTextEdit):
|
|
def __init__(self, core, tabs, file=None):
|
|
super(CodeEditor, self).__init__()
|
|
self.core = core
|
|
self.tabs = tabs
|
|
self.file = file
|
|
self.setText()
|
|
|
|
self.shortcut = QShortcut(QKeySequence("Ctrl+s"), self)
|
|
self.shortcut.activated.connect(self.save)
|
|
|
|
def setText(self):
|
|
try:
|
|
self.textChanged.disconnect(self.onTextChanged)
|
|
except Exception as e:
|
|
print(e)
|
|
|
|
self.filepath = os.path.join(self.core.cwd,self.file)
|
|
self.clear()
|
|
self.insertPlainText(open(self.filepath, 'r').read())
|
|
self.changed = False
|
|
self.textChanged.connect(self.onTextChanged)
|
|
|
|
|
|
font = QFont()
|
|
font.setFamily("Droid Sans Mono")
|
|
font.setFixedPitch(True)
|
|
font.setPointSize(12)
|
|
self.setFont(font)
|
|
# self.highlighter = Highlighter(self.document())
|
|
# https://pypi.python.org/pypi/QScintilla/2.9.2
|
|
|
|
|
|
|
|
def onTextChanged(self):
|
|
# print('textChanged')
|
|
# print(self.toPlainText())
|
|
# open(self.filepath, 'w').write(self.toPlainText())
|
|
if not self.changed:
|
|
self.changed = True
|
|
i = self.tabs.currentIndex()
|
|
self.tabs.setTabText(i, "* "+self.tabs.tabText(i))
|
|
# TODO: indicate that webview needs to be reloaded
|
|
|
|
def save(self):
|
|
if self.changed:
|
|
open(self.filepath, 'w').write(self.toPlainText())
|
|
i = self.tabs.currentIndex()
|
|
self.tabs.setTabText(i, re.sub(r'^\*\s', '', self.tabs.tabText(i)))
|
|
self.changed = False
|
|
# TODO: how to combine file save and project save
|
|
|
|
|
|
class Editor(QWidget):
|
|
def __init__(self, parent, core):
|
|
super(Editor, self).__init__()
|
|
self.core = core
|
|
|
|
self.layout = QVBoxLayout(self)
|
|
self.layout.setContentsMargins(0,0,0,0)
|
|
|
|
# Initialize tab screen
|
|
self.tabs = QTabWidget()
|
|
|
|
self.scsstab = CodeEditor(core, self.tabs, 'assets/css/styles.scss')
|
|
self.jstab = CodeEditor(core, self.tabs, 'assets/js/script.js')
|
|
|
|
# Add tabs
|
|
self.tabs.addTab(self.scsstab,"scss")
|
|
self.tabs.addTab(self.jstab,"js")
|
|
|
|
# Add tabs to widget
|
|
self.layout.addWidget(self.tabs)
|
|
self.setLayout(self.layout)
|
|
|
|
def refresh(self):
|
|
self.scsstab.setText()
|
|
self.jstab.setText()
|
|
|
|
class DesignStack(QWidget):
|
|
def __init__(self, core):
|
|
super(DesignStack, self).__init__()
|
|
|
|
# self.grid = QGridLayout()
|
|
self.hbox = QHBoxLayout()
|
|
self.hbox.setContentsMargins(0,0,0,0)
|
|
self.setLayout(self.hbox)
|
|
|
|
|
|
self.webview = QWidget()
|
|
self.webview.vbox = QVBoxLayout()
|
|
self.webview.setLayout(self.webview.vbox)
|
|
self.webview.vbox.setContentsMargins(0,0,0,0)
|
|
|
|
self.webkitview = WebkitView(self, core)
|
|
|
|
self.webkitinspector = WebkitInspector(self, self.webkitview)
|
|
|
|
shortcut = QShortcut(self)
|
|
shortcut.setKey("F12")
|
|
shortcut.activated.connect(self.toggleInspector)
|
|
self.webkitinspector.setVisible(False)
|
|
|
|
self.webviewtoolbar = WebViewToolBar(self)
|
|
self.webview.vbox.addWidget(self.webviewtoolbar)
|
|
|
|
self.vsplitter = QSplitter(QtCore.Qt.Vertical)
|
|
self.vsplitter.addWidget(self.webkitview)
|
|
self.vsplitter.addWidget(self.webkitinspector)
|
|
self.vsplitter.splitterMoved.connect(self.movedSplitter)
|
|
|
|
self.webview.vbox.addWidget(self.vsplitter)
|
|
|
|
self.hsplitter = QSplitter(QtCore.Qt.Horizontal)
|
|
self.hsplitter.addWidget(self.webview)
|
|
|
|
self.editor = Editor(self, core)
|
|
self.hsplitter.addWidget(self.editor)
|
|
|
|
self.hsplitter.splitterMoved.connect(self.movedSplitter)
|
|
|
|
self.hbox.addWidget(self.hsplitter)
|
|
|
|
self.restorePrefs()
|
|
|
|
def toggleInspector(self):
|
|
self.webkitinspector.setVisible(not self.webkitinspector.isVisible())
|
|
|
|
|
|
def restorePrefs(self):
|
|
settings = QSettings('FiguresLibres', 'Cascade')
|
|
print(settings.value('design/vsplitter/sizes', self.vsplitter.sizes()))
|
|
vals = settings.value('design/vsplitter/sizes', None)
|
|
if vals:
|
|
sizes = []
|
|
for size in vals: sizes.append(int(size))
|
|
self.vsplitter.setSizes(sizes)
|
|
|
|
vals = settings.value('design/hsplitter/sizes', None)
|
|
if vals:
|
|
sizes = []
|
|
for size in vals: sizes.append(int(size))
|
|
self.hsplitter.setSizes(sizes)
|
|
|
|
|
|
def movedSplitter(self):
|
|
settings = QSettings('FiguresLibres', 'Cascade')
|
|
# print(self.vsplitter.sizes())
|
|
settings.setValue('design/vsplitter/sizes', self.vsplitter.sizes())
|
|
settings.setValue('design/hsplitter/sizes', self.hsplitter.sizes())
|
|
|
|
def refresh(self):
|
|
self.editor.refresh()
|
|
self.webkitview.refresh()
|