mirror of
https://github.com/processing/processing4.git
synced 2026-02-11 09:39:19 +01:00
208 lines
6.1 KiB
Properties
208 lines
6.1 KiB
Properties
# !!!!!!!! UNLIKE PREVIOUS VERSIONS OF PROCESSING !!!!!!!!!!
|
|
# DO NOT MODIFY THIS FILE, OR DELETE SETTINGS FROM THIS FILE
|
|
|
|
# These are the default preferences. They will be copied
|
|
# to your home folder into a file called .processing,
|
|
# where you can make changes for your machine.
|
|
|
|
# You'll have problems running Processing if you incorrectly
|
|
# modify lines in this file.
|
|
|
|
# !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
|
|
|
|
|
# default size for the main window
|
|
default.window.width = 500
|
|
default.window.height = 500
|
|
|
|
# font size for editor
|
|
editor.font=Monospaced,plain,12
|
|
|
|
# monospaced on java 1.3 was monaco, but on 1.4 it has changed
|
|
# to courier, which actually matches other platforms better.
|
|
# (and removes the 12 point being too large issue)
|
|
# monaco is nicer on macosx, so use that explicitly
|
|
editor.font.macosx = Monaco,plain,10
|
|
|
|
# anti-aliased text, turned off by default
|
|
editor.antialias=false
|
|
|
|
# foreground and background colors
|
|
editor.fgcolor=#000000
|
|
editor.bgcolor=#ffffff
|
|
|
|
# color to be used for background when 'external editor' enabled
|
|
editor.external=false
|
|
editor.external.bgcolor=#ddddbb
|
|
|
|
# styles for various types of text
|
|
|
|
# comments
|
|
editor.comment1.style=#777755,plain
|
|
editor.comment2.style=#777755,plain
|
|
|
|
# abstract, final, private
|
|
editor.keyword1.style=#cc6600,plain
|
|
# beginShape, point, line
|
|
editor.keyword2.style=#996600,plain
|
|
# byte, char, short, color
|
|
editor.keyword3.style=#993300,bold
|
|
|
|
# constants: null, true, this, RGB, TWO_PI
|
|
editor.literal1.style=#cc0000,plain
|
|
# p5 built in variables: mouseX, width, pixels
|
|
editor.literal2.style=#cc0000,plain
|
|
|
|
# ?? maybe this is for words followed by a colon
|
|
# like in case statements or goto
|
|
editor.label.style=#7E7E00,bold
|
|
|
|
# + - = /
|
|
editor.operator.style=#000000,plain
|
|
|
|
# caret blinking and caret color
|
|
editor.caret.blink=true
|
|
editor.caret.color=#333300
|
|
|
|
# selection color
|
|
editor.selection.color=#ffcc00
|
|
|
|
# highlight for the current line
|
|
editor.linehighlight=true
|
|
editor.linehighlight.color=#ddddbb
|
|
|
|
# bracket/brace highlighting
|
|
editor.brackethighlight=true
|
|
editor.brackethighlight.color=#000000
|
|
|
|
# little pooties at the end of lines that show where they finish
|
|
editor.eolmarkers=false
|
|
editor.eolmarkers.color=#99991A
|
|
|
|
# area that's not in use by the text (replaced with tildes)
|
|
editor.invalid=false
|
|
editor.invalid.style=#7E7E00,bold
|
|
|
|
buttons.bgcolor = #999988
|
|
buttons.status.font = SansSerif,plain,10
|
|
buttons.status.color = #333322
|
|
|
|
# settings for the tabs at the top
|
|
# actual tab images are stored in the lib/ folder
|
|
header.bgcolor = #333322
|
|
header.text.selected.color = #ffffff
|
|
header.text.unselected.color = #999988
|
|
header.text.font = SansSerif,plain,12
|
|
|
|
console = true
|
|
console.color = #1A1A00
|
|
console.output.color = #ccccbb
|
|
console.output.file = stdout.txt
|
|
console.error.color = #ff3000
|
|
console.error.file = stderr.txt
|
|
console.font = Monospaced,plain,11
|
|
console.font.macosx = Monaco,plain,10
|
|
console.lines = 4
|
|
|
|
# set to false to disable automatically clearing the console
|
|
# each time 'run' is hit
|
|
console.auto_clear = true
|
|
|
|
# set the maximum number of lines remembered by the console
|
|
# the default is 500, lengthen at your own peril
|
|
console.length = 500
|
|
|
|
status.notice.fgcolor = #ffffff
|
|
status.notice.bgcolor = #666666
|
|
status.error.fgcolor = #ffffff
|
|
status.error.bgcolor = #662000
|
|
status.prompt.fgcolor = #000000
|
|
status.prompt.bgcolor = #cc9900
|
|
status.font = SansSerif,plain,12
|
|
|
|
# convert tabs to spaces? how many spaces?
|
|
editor.tabs.expand = true
|
|
editor.tabs.size = 2
|
|
|
|
# automatically indent each line
|
|
editor.indent = true
|
|
|
|
# size of divider between editing area and the console
|
|
editor.divider.size = 0
|
|
# the larger divider on windows is ugly with the little arrows
|
|
# this makes it large enough to see (mouse changes) and use,
|
|
# but keeps it from being annoyingly obtrusive
|
|
editor.divider.size.windows = 2
|
|
|
|
# how many lines to scroll for each tick on the wheel mouse
|
|
editor.wheelmouse.multiplier = 3
|
|
|
|
# background color for full-screen presentation mode
|
|
run.present.bgcolor = #666666
|
|
|
|
# set true to just always run externally
|
|
run.external = false
|
|
|
|
# set internally
|
|
#run.window.bgcolor=
|
|
|
|
# minimum size for the run window. windows can't go much smaller.
|
|
# macosx can, though it's sorta nice to have the border.
|
|
run.window.width.minimum = 120
|
|
run.window.height.minimum = 120
|
|
|
|
# prompt for sketch location when 'new' is hit
|
|
sketchbook.prompt = false
|
|
|
|
# true if empty sketches should be removed automatically
|
|
sketchbook.auto_clean = true
|
|
|
|
sketchbook.name.default = sketchbook
|
|
|
|
# note that this path should use forward slashes (like unix)
|
|
# instead of \ on windows or : on windows or whatever else
|
|
#sketchbook.path =
|
|
|
|
history.recording = true
|
|
|
|
# for advanced users, enable option to export a library
|
|
export.library = false
|
|
|
|
# may be useful when attempting to debug the preprocessor
|
|
compiler.save_build_files=false
|
|
|
|
# allows various preprocessor features to be toggled
|
|
# in case they are causing problems
|
|
|
|
# preprocessor: pde.g
|
|
compiler.color_datatype = true
|
|
compiler.web_colors = true
|
|
compiler.enhanced_casting = true
|
|
|
|
# preprocessor: PdeEmitter.java
|
|
compiler.substitute_floats = true
|
|
compiler.substitute_image = false
|
|
compiler.substitute_font = false
|
|
|
|
# auto-convert non-ascii chars to unicode escape sequences
|
|
compiler.substitute_unicode = true
|
|
|
|
# PdeCompiler.java
|
|
# writes out the parse tree as parseTree.xml, which can be usefully
|
|
# viewed in (at least) Mozilla or IE. useful when debugging the preprocessor.
|
|
compiler.output_parse_tree = false
|
|
|
|
# jdk version to use..
|
|
compiler.jdk_version = 1.1
|
|
|
|
# base imports to include for java 1.1 (or higher)
|
|
compiler.imports.jdk11 = java.applet,java.awt,java.awt.image,java.awt.event,java.io,java.net,java.text,java.util,java.util.zip,netscape.javascript
|
|
|
|
# additional imports when exporting to java 1.3 or higher
|
|
compiler.imports.jdk13 = javax.sound.midi,javax.sound.midi.spi,javax.sound.sampled,javax.sound.sampled.spi
|
|
|
|
# additional imports when exporting to java 1.4 or higher
|
|
compiler.imports.jdk14 = javax.xml.parsers,javax.xml.transform,javax.xml.transform.dom,javax.xml.transform.sax,javax.xml.transform.stream,org.xml.sax,org.xml.sax.ext,org.xml.sax.helpers
|
|
|
|
# set the browser to be used on linux
|
|
browser.linux = mozilla |