-
Notifications
You must be signed in to change notification settings - Fork 0
Configuration
voegtlel edited this page May 12, 2015
·
5 revisions
The config.ini file has a simple format:
- Comments start with # (Hash)
- Key-Value pair consists of:
\w*([a-zA-Z.])\w*=\w*(.*)\w*where \1 is the key and \2 is the value.
Following variables are shown as
-
Variable(variable type, default value if not specified): Description
-
editor.variableThickness(boolean, false): If true and a real pen is used, the pressure of the pen is used for drawing. -
editor.voidColor(color, FF000000): Background color for void space (outside of aspect ratio clipping) -
editor.eraser.thickness(float, 15.0): Thickness (radius) of the eraser -
editor.eraser.fastCollide(boolean, true): If true, a fast collision algorithm will be used for erasing (only erase vertexes), otherwise line segments can be partially erased -
editor.selectMove.thickness(float, 1.0): Thickness of the select-move-tool borders -
editor.defaultPen.thickness(float, 1.0): Thickness of the pen -
editor.defaultPen.color(Color, FF000000): Color of the pen -
editor.scribble.drawThreshold(float, 0.0): The Threshold, at which drawing will start. Can be used to prevent squiggles. -
editor.screenshot.hideDelay(float, 0.2): Time in sec to wait for taking the screenshot after hiding the window (to skip the hiding animation).
-
document.background.color(color, FFFFFFFF): Background color for the whole document -
document.useDefaultRatio(boolean, false): If true, use the default ratio for pages (seedocument.defaultRatioandpdf.useRatio) -
document.defaultRatio(float, 4.0/3.0): If using default ratio (seedocument.useDefaultRatio), this specifies the ratio (width/height)
-
pdf.renderer(int, 0): Specifies the PDF renderer (0: JPod, 1: JMuPDF) -
pdf.useRatio(boolean, false): If true, for PDF pages the ratio of the PDF page is used (overridesdocument.useDefaultRatio) -
pdf.defaultWidth,pdf.defaultHeight(int, 1024x768): Default PDF width/height for exporting as PDF if there is no PDF page set for the rendered page -
pdf.ignoreEmptyPages(boolean, false): If true, empty pages won't be exported to PDF -
pdf.showPageNumber(boolean, true): If true, the page number is printed on the lower right on PDFs -
pdf.ignoreEmptyPageNumber(boolean, true): If true and empty pages are printed (pdf.ignoreEmptyPages) these won't have page numbers -
pdf.thicknessFactor(float, 0.2): The factor for line thickness for rendering to PDF
-
color.red,color.green,color.blue,color.black(Color, FFBB0000, FF00BB00, FF0000BB, FF000000): Color values for the color-square selected colors. -
fullscreen.autotoggleToolbar(boolean, true): If true, the toolbar is hidden when changing into fullscreen and shown when switching to windowed mode
-
autosave.next,autosave.previous,autosave.spinner(boolean, true): If true, the current page will be autosaved on next/previous/spinner selected page -
autosave.saveExit(boolean, false): If true, the current session is autosaved as session.dat (seeautosave.loadStartup) -
autosave.loadStartup(boolean, false): If true, the autosaved session.dat is loaded on startup (seeautosave.saveExit) -
save.defaultExt,open.defaultExt(string, jpd): Default selected extension for the save/open-dialog -
file.dialog.saveLocation(boolean, false): If true, the last location of saving/loading dialog will be remembered (seefile.dialog.location) -
file.dialog.location(string, empty): If the location is saved (seefile.dialog.saveLocation), then this stores the last location.
shortcut.<action>.*: Configures the shortcuts for an action (see below). Multiple shortcuts can be defined for the same action by adding a different name for * (same names overwrite previous definitions).
shortcut.<action>.global.*: Defines the shortcut as a global shortcut.
Possible key strokes are defined in KeyStroke#getKeyStroke(java.lang.String).
The (dynamic) toolbar is separate from the fixed toolbar. This toolbar automatically shows when hovering over it and hides when leaving it. The buttons present in the toolbar can be configured by:
-
toolbar.orientation(enum, NONE): One of LEFT, RIGHT, TOP, BOTTOM, NONE (disables the toolbar) -
toolbar.compactSize(integer, 15): Size when the toolbar is not hovered -
toolbar.compactOpacity(float, 0.25): Opacity when the toolbar is not hovered -
toolbar.*(action): Creates a toolbar action button. Value is one of the actions (see below). This also adds a "space" and "fill" value to modify spacing.
-
tools.new: New Document -
tools.open: Open file dialog -
tools.save: Save file dialog -
tools.toggleToolbar: Toggle the toolbar -
tools.primary.scribble: Select scribble tool as primary tool -
tools.primary.eraser: Select eraser tool as primary tool -
tools.primary.deleter: Select deleter tool as primary tool -
tools.primary.image: Select image tool as primary tool -
tools.primary.selectMove: Select selectMove tool as primary tool -
tools.secondary.scribble: Select scribble tool as primary tool -
tools.secondary.eraser: Select eraser tool as primary tool -
tools.secondary.deleter: Select deleter tool as primary tool -
tools.secondary.image: Select image tool as primary tool -
tools.secondary.selectMove: Select selectMove tool as primary tool -
tools.page.new: Create new page -
tools.page.clone: Clone current page -
tools.page.delete: Delete current page -
tools.page.clear: Clear current page -
tools.document.new: New Document (clear all) -
tools.document.clearPdf: Clear the background PDF -
tools.document.openPdf: Open a PDF for the background -
tools.screenshotAreaHide: Take a screenshot of an area of the screen with hiding the window and use the image tool -
tools.screenshotArea: Take a screenshot of an area of the screen and use the image tool -
tools.screenshotFull: Take a screenshot of a selectable screen and set as page background -
tools.screenshotDirect: Take a screenshot of the screen under the cursor and set as page background -
next: Next page -
previous: Previous page -
undo: Undo -
redo: Redo -
toggleFullscreen: Toggle fullscreen -
color: Show color square