Re: Re : Doc pour jEdit et LilyPond Tool,

[Valentin Villenave]

Le 02/01/08, jm reboul<address@hidden> a écrit :

> En tout cas, merci pour vos coups de mains si efficaces.

Une astuce que j'utilise dans mon paquet "EasyLilyPond" pour Windows
est que jEdit permet d'utiliser des fichiers de configuration par
défaut (dans un répertoire nommé "properties"). Ainsi, grâce à des
fichiers mi-préparés, mi-paramétrés par mon installeur, j'obtiens une
installation toute prête de jEdit et de LilyPondTool, configurée en
fonction du système de l'utilisateur (chemins vers les applications,
etc), avec le bon encodage déjà sélectionné, les fenêtres déjà
ancrées, etc.

On pourrait peut-être échanger nos idées là-dessus, de manière à les
pré-implémenter avec LilyPondTool ?

Par exemple, vous pouvez regarder dans ~/.jedit/ votre fichier
"properties" et relever toutes les options qui vous semblent
intéressantes. Pour ma part, j'utilise :

#modified for EasyLilyPond

hypersearch-results.dock-position=floating
options.splitter=162
Navigator.dock-position=floating
plugin-blacklist.bcel-5.2.jar=false
log-viewer.dock-position=floating
firstTime=false
sidekick-tree.dock-position=left
plugin-blacklist.velocity-1.4.jar=false
view-markers.dock-position=floating
plugin-manager.height=541
options.y=50
options.x=50
templates-tree.dock-position=floating
lilykeyboard.dock-position=floating
view.eolMarkers=false
lilypond-instanthelp.dock-position=top
error-list.dock-position=bottom
console.dock-position=floating
quicknotepad.dock-position=floating
view.toolbar.alternateLayout=true
helpviewer.height=534
search.regexp.toggle=false
run-method=windows
search.wrap.toggle=false
search.ignoreCase.toggle=false
lilytool-midi.dock-position=top
sidekick.splitter.location=-40
io-progress-monitor.dock-position=floating
options.height=546
helpviewer.splitter=250
view-registers.dock-position=floating
search.beanshell.toggle=false
options.width=530
helpviewer.y=50
helpviewer.x=50
notevisualiser.dock-position=floating
print.folds=true
buffertabs.enable=true
tip.show=false

# Encoding, saving options

twoStageSave=false
console.extendedState=0
buffertabs.usePopup=true
buffertabs.icons=true
buffer.encoding=UTF-8
fallbackEncodings=ISO-8859-1
console.dock-position=bottom
buffer.deepIndent=false
buffer.lineSeparator=\r\n
buffertabs.close-tab-on.double-left-click=true
buffertabs.location=bottom
buffertabs.close-tab-on.single-middle-click=true
buffertabs.color-tabs=true
newkeyhandling=false

# Plus tout un tas d'options pour les skins et l'apparence :

# Extra skinning options (remove if buggy)

plugin-blacklist.oalnf.jar=false
plugin-manager.installUser=false
plugin-blacklist.jgoodies_looks.jar=false
plugin-blacklist.kunststoff.jar=false
plugin-blacklist.skinlf.jar=false
plugin-blacklist.nimrodlf.jar=false
plugin-blacklist.metouia.jar=false
plugin-blacklist.Background.jar=false
plugin-blacklist.LookAndFeel.jar=false
plugin-blacklist.toniclf.jar=false
lookandfeel.lookandfeel=NimROD
lookAndFeel=javax.swing.plaf.metal.MetalLookAndFeel
options.abbrevs.combobox.index=0
view.antiAlias=standard
lookandfeel.usejeditfont=false
appearance.continuousLayout=false
view.fracFontMetrics=true
decorate.frames=true
decorate.dialogs=true
background.blend=true
background.file=bg.png
background.blend-alpha=173

# colors

view.gutter.highlightColor=\#003366
view.gutter.structureHighlightColor=\#667b99
view.gutter.focusBorderColor=\#006666
view.caretColor=\#003333
view.gutter.currentLineColor=\#009999
view.lineHighlightColor=\#fffef8
view.multipleSelectionColor=\#c3fa7c
view.eolMarkerColor=\#33ccff
view.wrapGuideColor=\#c4dae0
buffertabs.color-tabs=true
view.structureHighlightColor=\#02bbbc
view.selectionColor=\#f1fc9f
view.status.memory.foreground=\#8daf9e
view.status.memory.background=\#3a6650


Cordialement,
Valentin