Willekeurige urls of gevonden fragmenten gekopieerd & geplakt (copy/paste) om te onthouden of terug te vinden.NEdit is mijn favoriete editor, onder andere vanwege de geweldige configureerbaarheid, maar het uiterlijk kan wel iets beter.
Zie http://nedit.hackvalue.nl/niki/index.php/Look_Tuning.
Aan mijn .Xdefaults heb ik toegevoegd:
! Program: nedit
nedit*enableThinThickness: True
nedit*enableToggleVisual: False
nedit*enableToggleColor: True
nedit*XmToggleButton.indicatorSize: 14
nedit*enableEtchedInMenu: False
nedit*XmMenuShell*XmTearOffButton*ShadowThickness: 2
nedit*background: gray85
nedit*bottomShadowColor: gray65
nedit*topShadowColor: #fefefe
nedit*XmText.background: #f8f8fa
nedit*XmTextField.background: #f8f8fa
nedit*XmList.background: #f8f8fa
nedit*languageModes.packing: XmPACK_COLUMN
nedit*languageModes.numColumns: 2
En vervolgens na het commando:
xrdb -merge .Xdefaults
ziet NEdit er ineens wat frisser uit!
KoppiePeest 