Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

[09549c]: BufferSelector.props Maximize Restore History

Download this file

BufferSelector.props    28 lines (20 with data), 968 Bytes

plugin.bufferselector.BufferSelectorPlugin.name=Buffer Selector
plugin.bufferselector.BufferSelectorPlugin.author=Andre Kaplan
plugin.bufferselector.BufferSelectorPlugin.version=1.0.6
plugin.bufferselector.BufferSelectorPlugin.docs=users-guide.html

plugin.bufferselector.BufferSelectorPlugin.depend.0=jdk 1.3
plugin.bufferselector.BufferSelectorPlugin.depend.1=jedit 04.00.99.00

button.hgap=0
button.vgap=0

toggle-buffer-selector.label=Buffer Selector

options.buffer-selector.label=Buffer Selector

options.buffer-selector.default-enabled=Buffer Selector enabled by default
options.buffer-selector.location=Location of Buffer Selector:\ 
options.buffer-selector.min-width=Button minimum width:\ 
options.buffer-selector.max-width=Button maximum width:\ 
options.buffer-selector.font-size=Button font size:\ 

buffer-selector.default-enabled=false
buffer-selector.location=1
buffer-selector.min-width=100
buffer-selector.max-width=150
buffer-selector.font-size=10