add something
This commit is contained in:
parent
6c71eb2364
commit
b3867b8a9b
3 changed files with 234 additions and 11 deletions
BIN
example.pdf
Normal file
BIN
example.pdf
Normal file
Binary file not shown.
212
main.py
Normal file → Executable file
212
main.py
Normal file → Executable file
|
@ -1,13 +1,14 @@
|
||||||
#!/usr/bin/env python
|
#!/usr/bin/env python3
|
||||||
#-*-coding:utf-8-*-
|
#-*-coding:utf-8-*-
|
||||||
|
|
||||||
import os
|
import os
|
||||||
|
import re
|
||||||
import sys
|
import sys
|
||||||
from PyQt5.QtCore import *
|
from PyQt5.QtCore import *
|
||||||
from PyQt5.QtGui import *
|
from PyQt5.QtGui import *
|
||||||
from PyQt5 import QtWebEngineWidgets
|
from PyQt5 import QtWebEngineWidgets
|
||||||
from PyQt5.QtWidgets import *
|
from PyQt5.QtWidgets import *
|
||||||
from PyQt5.Qsci import QsciScintilla, QsciLexerPython
|
from PyQt5.Qsci import QsciScintilla, QsciLexerPython, QsciLexerCustom
|
||||||
import qrc_resources
|
import qrc_resources
|
||||||
|
|
||||||
filename = "untitled"
|
filename = "untitled"
|
||||||
|
@ -27,6 +28,12 @@ class PDFJSWidget(QtWebEngineWidgets.QWebEngineView):
|
||||||
print((dirname,PDFJS, PDF))
|
print((dirname,PDFJS, PDF))
|
||||||
|
|
||||||
class CustomQsciEditor(QsciScintilla):
|
class CustomQsciEditor(QsciScintilla):
|
||||||
|
|
||||||
|
def set_word_wrap(self):
|
||||||
|
self.setWrapMode(QsciScintilla.WrapMode.WrapWord)
|
||||||
|
def set_no_word_wrap(self):
|
||||||
|
self.setWrapMode(QsciScintilla.WrapMode.WrapNone)
|
||||||
|
|
||||||
def __init__(self, parent=None):
|
def __init__(self, parent=None):
|
||||||
super(CustomQsciEditor, self).__init__(parent)
|
super(CustomQsciEditor, self).__init__(parent)
|
||||||
|
|
||||||
|
@ -40,7 +47,7 @@ class CustomQsciEditor(QsciScintilla):
|
||||||
|
|
||||||
fontMetrics = QFontMetrics(font)
|
fontMetrics = QFontMetrics(font)
|
||||||
self.setMarginsFont(font)
|
self.setMarginsFont(font)
|
||||||
self.setMarginWidth(0, fontMetrics.width("000") + 6)
|
self.setMarginWidth(0, fontMetrics.width("00") + 6)
|
||||||
self.setMarginLineNumbers(0, True)
|
self.setMarginLineNumbers(0, True)
|
||||||
self.setMarginsBackgroundColor(QColor("#cccccc"))
|
self.setMarginsBackgroundColor(QColor("#cccccc"))
|
||||||
|
|
||||||
|
@ -53,8 +60,13 @@ class CustomQsciEditor(QsciScintilla):
|
||||||
self.setCaretLineVisible(True)
|
self.setCaretLineVisible(True)
|
||||||
self.setCaretLineBackgroundColor(QColor("#fdffce"))
|
self.setCaretLineBackgroundColor(QColor("#fdffce"))
|
||||||
|
|
||||||
# set horizonal scrollbar unvisible
|
# set word wrap
|
||||||
#self.SendScintilla(QsciScintilla.SCI_SETHSCROLLBAR, 0)
|
self.set_word_wrap()
|
||||||
|
|
||||||
|
# set encoding
|
||||||
|
self.SendScintilla(QsciScintilla.SCI_SETCODEPAGE, QsciScintilla.SC_CP_UTF8)
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class Window(QMainWindow):
|
class Window(QMainWindow):
|
||||||
def __init__(self):
|
def __init__(self):
|
||||||
|
@ -178,6 +190,192 @@ class Window(QMainWindow):
|
||||||
formatToolBar.addWidget(font_combo_box)
|
formatToolBar.addWidget(font_combo_box)
|
||||||
formatToolBar.addWidget(font_button)
|
formatToolBar.addWidget(font_button)
|
||||||
|
|
||||||
|
class ClochurLexer(QsciLexerCustom):
|
||||||
|
|
||||||
|
def __init__(self, parent=None):
|
||||||
|
QsciLexerCustom.__init__(self, parent)
|
||||||
|
self._styles = {
|
||||||
|
0: 'Default',
|
||||||
|
1: 'Keyword',
|
||||||
|
2: 'Comment',
|
||||||
|
3: 'String',
|
||||||
|
4: 'Rainbow0',
|
||||||
|
5: 'Rainbow1',
|
||||||
|
6: 'Rainbow2',
|
||||||
|
7: 'Rainbow3',
|
||||||
|
8: 'Rainbow4',
|
||||||
|
9: 'Rainbow5',
|
||||||
|
10: 'Rainbow6',
|
||||||
|
}
|
||||||
|
|
||||||
|
for (k,v) in self._styles.items():
|
||||||
|
setattr(self, v, k)
|
||||||
|
|
||||||
|
self.QUOTES = ['"', "'"]
|
||||||
|
self.PARENTHESIS = ["[", "]"]
|
||||||
|
|
||||||
|
self.PRIMARY = ['define', 'let' , '#t', '#f', 'lambda', '@', 'cond', 'if', 'docu']
|
||||||
|
|
||||||
|
|
||||||
|
def language(self):
|
||||||
|
return "Clochur"
|
||||||
|
|
||||||
|
def description(self, style):
|
||||||
|
ret = "Lexer for Clochur - a S-expression-like" + \
|
||||||
|
"typesetting Language. %s, %s" % (style, self._styles.get(style, ''))
|
||||||
|
return ret
|
||||||
|
|
||||||
|
def defaultColor(self, style):
|
||||||
|
if style == self.Default:
|
||||||
|
return QColor("#000000")
|
||||||
|
elif style == self.Keyword:
|
||||||
|
return QColor("#0000ff")
|
||||||
|
elif style == self.Comment:
|
||||||
|
return QColor("#005500")
|
||||||
|
elif style == self.String:
|
||||||
|
return QColor("#ce5c00")
|
||||||
|
elif style == self.Rainbow0:
|
||||||
|
return QColor("#ff5500")
|
||||||
|
elif style == self.Rainbow1:
|
||||||
|
return QColor("#ffaa00")
|
||||||
|
elif style == self.Rainbow2:
|
||||||
|
return QColor("#dede00")
|
||||||
|
elif style == self.Rainbow3:
|
||||||
|
return QColor("#00ff00")
|
||||||
|
elif style == self.Rainbow4:
|
||||||
|
return QColor("#00aaff")
|
||||||
|
elif style == self.Rainbow5:
|
||||||
|
return QColor("#0000ff")
|
||||||
|
elif style == self.Rainbow6:
|
||||||
|
return QColor("#aa00ff")
|
||||||
|
|
||||||
|
else:
|
||||||
|
return QsciLexerCustom.defaultColor(self, style)
|
||||||
|
|
||||||
|
def defaultRainbowColor(self, index):
|
||||||
|
return QColor(self.rainbow_color[index])
|
||||||
|
|
||||||
|
def styleText(self, start, end):
|
||||||
|
editor = self.editor()
|
||||||
|
if editor is None:
|
||||||
|
return
|
||||||
|
|
||||||
|
SCI = editor.SendScintilla
|
||||||
|
set_style = self.setStyling
|
||||||
|
|
||||||
|
source = ''
|
||||||
|
if end > editor.length():
|
||||||
|
end = editor.length()
|
||||||
|
if end > start:
|
||||||
|
source = bytearray(end - start)
|
||||||
|
SCI(QsciScintilla.SCI_GETTEXTRANGE, start, end, source)
|
||||||
|
if not source:
|
||||||
|
return
|
||||||
|
|
||||||
|
|
||||||
|
self.startStyling(start, 0x1f)
|
||||||
|
rainbow_state = 0
|
||||||
|
|
||||||
|
index = SCI(QsciScintilla.SCI_LINEFROMPOSITION, start)
|
||||||
|
|
||||||
|
for line in source.splitlines(True):
|
||||||
|
print("%s, %d" % (line, rainbow_state))
|
||||||
|
length = len(line)
|
||||||
|
|
||||||
|
i = 0
|
||||||
|
|
||||||
|
new_state = self.Default
|
||||||
|
|
||||||
|
line_utf8 = line.decode('utf-8')
|
||||||
|
|
||||||
|
split_pattern = re.compile(r'(\s+|\\%|%|\\\[|\\\]|[[]|[]])')
|
||||||
|
|
||||||
|
line_utf8_splitted = split_pattern.split(line_utf8)
|
||||||
|
|
||||||
|
line_utf8_splitted_len_pair = [{"str": item, "len" : len(bytearray(item, "utf-8"))} for item in line_utf8_splitted]
|
||||||
|
|
||||||
|
|
||||||
|
print(line_utf8_splitted_len_pair)
|
||||||
|
|
||||||
|
is_comment = False
|
||||||
|
|
||||||
|
i = 0
|
||||||
|
if index > 0:
|
||||||
|
pos = SCI(QsciScintilla.SCI_GETLINEENDPOSITION, index - 1)
|
||||||
|
rainbow_state = SCI(QsciScintilla.SCI_GETSTYLEAT, pos) + 0
|
||||||
|
print(rainbow_state)
|
||||||
|
|
||||||
|
for item in line_utf8_splitted_len_pair:
|
||||||
|
|
||||||
|
'''comment'''
|
||||||
|
if item["str"] == "%":
|
||||||
|
is_comment = True
|
||||||
|
if is_comment == True:
|
||||||
|
new_state = self.Comment # end of comment
|
||||||
|
elif item["str"] in self.PRIMARY: # keywords
|
||||||
|
new_state = self.Keyword
|
||||||
|
# string
|
||||||
|
elif re.match(r'^["]([^"]|\\\")*["]$' ,item["str"]) or re.match(r"^[']([^']|\\\')*[']$" ,item["str"]):
|
||||||
|
new_state = self.String
|
||||||
|
#parenthesis: rainbow mode
|
||||||
|
elif item["str"] == "[":
|
||||||
|
new_state = getattr(self, "Rainbow" + str(rainbow_state))
|
||||||
|
rainbow_state += 1
|
||||||
|
elif item["str"] == "]":
|
||||||
|
rainbow_state -= 1
|
||||||
|
new_state = getattr(self, "Rainbow" + str(rainbow_state))
|
||||||
|
else:
|
||||||
|
pass
|
||||||
|
|
||||||
|
word_length = item["len"]
|
||||||
|
i += word_length
|
||||||
|
set_style(word_length, new_state)
|
||||||
|
|
||||||
|
if new_state != self.Comment:
|
||||||
|
new_state = self.Default
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
'''while i < length:
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
word_length = 1
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
if line[i:].startswith(b"\\"):
|
||||||
|
prev_is_slash = True
|
||||||
|
else:
|
||||||
|
# convert byte array to utf-8, and match comment to color it.
|
||||||
|
if line[i:].startswith(b'%') and prev_is_slash == False:
|
||||||
|
new_state = self.Comment
|
||||||
|
word_length = len(line[i:])
|
||||||
|
|
||||||
|
print(line[i:].decode('utf-8'))
|
||||||
|
|
||||||
|
#keywords_joined = "^(" + "|".join(self.PRIMARY) + ")$"
|
||||||
|
|
||||||
|
for keyword in self.PRIMARY:
|
||||||
|
if line[i:].startswith(bytearray(keyword, 'utf-8')):
|
||||||
|
#if re.match(keywords_joined , line[i:].decode('utf-8')):
|
||||||
|
#matched = re.match(keywords_joined , line[i:].decode('utf-8'))
|
||||||
|
#word_length = len(matched.group(0))
|
||||||
|
word_length = len(keyword)
|
||||||
|
new_state = self.Keyword
|
||||||
|
|
||||||
|
|
||||||
|
prev_is_slash = False
|
||||||
|
|
||||||
|
i += word_length
|
||||||
|
set_style(word_length, new_state)'''
|
||||||
|
|
||||||
|
index += 1
|
||||||
|
|
||||||
if __name__ == '__main__':
|
if __name__ == '__main__':
|
||||||
app = QApplication([])
|
app = QApplication([])
|
||||||
|
@ -188,6 +386,9 @@ if __name__ == '__main__':
|
||||||
editor.setMinimumWidth(200)
|
editor.setMinimumWidth(200)
|
||||||
#editor.resize(QSize(500, 2000))
|
#editor.resize(QSize(500, 2000))
|
||||||
|
|
||||||
|
lexer = ClochurLexer(editor)
|
||||||
|
editor.setLexer(lexer)
|
||||||
|
|
||||||
pdf_viewer = PDFJSWidget()
|
pdf_viewer = PDFJSWidget()
|
||||||
pdf_viewer.setMinimumWidth(200)
|
pdf_viewer.setMinimumWidth(200)
|
||||||
#pdf_viewer.resize(QSize(500, 2000))
|
#pdf_viewer.resize(QSize(500, 2000))
|
||||||
|
@ -204,6 +405,7 @@ if __name__ == '__main__':
|
||||||
main_layout.addWidget(splitter)
|
main_layout.addWidget(splitter)
|
||||||
#main_layout.addWidget(pdf_viewer)
|
#main_layout.addWidget(pdf_viewer)
|
||||||
|
|
||||||
|
|
||||||
window = Window()
|
window = Window()
|
||||||
|
|
||||||
main_widget = QWidget()
|
main_widget = QWidget()
|
||||||
|
|
21
resources.qrc
Normal file
21
resources.qrc
Normal file
|
@ -0,0 +1,21 @@
|
||||||
|
<!DOCTYPE RCC><RCC version="1.0">
|
||||||
|
<qresource>
|
||||||
|
<file alias="convert.svg">resources/convert.svg</file>
|
||||||
|
<file alias="copy.svg">resources/copy.svg</file>
|
||||||
|
<file alias="cut.svg">resources/cut.svg</file>
|
||||||
|
<file alias="find-replace.svg">resources/find-replace.svg</file>
|
||||||
|
<file alias="find.svg">resources/find.svg</file>
|
||||||
|
<file alias="new.svg">resources/new.svg</file>
|
||||||
|
<file alias="open.svg">resources/open.svg</file>
|
||||||
|
<file alias="paste.svg">resources/paste.svg</file>
|
||||||
|
<file alias="pdf.svg">resources/pdf.svg</file>
|
||||||
|
<file alias="redo.svg">resources/redo.svg</file>
|
||||||
|
<file alias="save-as.svg">resources/save-as.svg</file>
|
||||||
|
<file alias="save.svg">resources/save.svg</file>
|
||||||
|
<file alias="text-bold.svg">resources/text-bold.svg</file>
|
||||||
|
<file alias="text-italic.svg">resources/text-italic.svg</file>
|
||||||
|
<file alias="text-strikethrough.svg">resources/text-strikethrough.svg</file>
|
||||||
|
<file alias="text-underline.svg">resources/text-underline.svg</file>
|
||||||
|
<file alias="undo.svg">resources/undo.svg</file>
|
||||||
|
</qresource>
|
||||||
|
</RCC>
|
Loading…
Reference in a new issue