curioustorvald/Terrarum
1
0
Fork 0
mirror of https://github.com/curioustorvald/Terrarum.git synced 2026-06-10 10:34:06 +09:00
Code Issues Packages Projects Releases Wiki Activity

more btex styling

Browse Source
This commit is contained in:
minjaesong
2024-04-26 03:30:59 +09:00
parent 6de340bde6
commit bb10c55739
8 changed files with 22 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/net/torvald/btex/BTeXDocument.kt
View File

@@ -18,7 +18,7 @@ class BTeXDocument {
var textWidth = 480
var lineHeightInPx = 24
var pageLines = 20
var pageLines = 25
var textHeight = pageLines * lineHeightInPx
val pageMarginH = 15

12
src/net/torvald/btex/BTeXParser.kt
View File

@@ -407,10 +407,12 @@ object BTeXParser {
)
private val pageWidthMap = hashMapOf(
"standard" to 480
"standard" to 480,
"examination" to 640,
)
private val pageHeightMap = hashMapOf(
"standard" to 20
"standard" to 25,
"examination" to 18,
)
@@ -522,6 +524,9 @@ object BTeXParser {
fun closeElemEDITION(handler: BTeXHandler, doc: BTeXDocument, theTag: String, uri: String, siblingIndex: Int) = closeElemP(handler, doc, theTag, uri, siblingIndex)
@CloseTag // reflective access is impossible with 'private'
fun closeElemCHAPTER(handler: BTeXHandler, doc: BTeXDocument, theTag: String, uri: String, siblingIndex: Int) {
// if current line is the last line, proceed to the next page
if (doc.currentLine == doc.pageLines - 1) doc.addNewPage()
val indent = 16
val thePar = "\n" + handler.paragraphBuffer.toString().trim()
typesetParagraphs(thePar, handler, doc.textWidth - indent).also {
@@ -541,6 +546,9 @@ object BTeXParser {
}
@CloseTag // reflective access is impossible with 'private'
fun closeElemSECTION(handler: BTeXHandler, doc: BTeXDocument, theTag: String, uri: String, siblingIndex: Int) {
// if current line is the last line, proceed to the next page
if (doc.currentLine == doc.pageLines - 1) doc.addNewPage()
val indent = 8
val thePar = "\n" + handler.paragraphBuffer.toString().trim()
typesetParagraphs(thePar, handler, doc.textWidth - indent).also {