#
# jedit.props
# 
#
# $Id: jedit.props 1 2006-04-22 02:11:06Z cfdoming $
# $LastChangedBy: cfdoming $
# $LastChangedDate: 2006-04-21 22:11:06 -0400 (Fri, 21 Apr 2006) $
# $LastChangedRevision: 1 $
# $HeadURL: file:///mit/jedit/repository.svn/config/trunk/config/properties/jedit.props $ 
#
#
# jEdit Properties ~ Specifies default configuration for jEdit
# Copyright © 2006  Charles Dominguez
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version 2
# of the License, or (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
#
#



# Default Text-Editing Options
buffer.deepIndent=true
buffer.encoding=UTF8
buffer.indentSize=4
buffer.maxLineLen=80
buffer.tabSize=4
buffer.trailingEOL=true
buffer.wrap=none


# Override Settings for Text Mode
#mode.text.customSettings=true
#mode.text.wrap=soft

# Printer Settings
print.tabSize=4

# UI Layout
view.docking.alternateLayout=true
view.toolbar.alternateLayout=true

# Antialias Fonts
view.antiAlias=true
view.fracFontMetrics=true

# Textarea
view.gutter.lineNumbers=true
view.eolMarkers=false

# Restore Files?
restore=false

# Keyboard Shortcuts
save-all.shortcut2=CS+s
close-all.shortcut2=CS+w
find-next.shortcut2=F3

# Enable middle mouse paste
view.middleMousePaste=true