WikEd: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
S3v (discussione | contributi) (Nuova pagina) |
(Nessuna differenza)
|
Versione delle 01:05, 12 gen 2013
 Versioni Compatibili Tutte le versioni supportate di Debian |
Introduzione
WikEd è uno script per Greasemonkey scritto in Javascript.
La sua utilità risiede nel facilitare enormemente la scrittura delle guide attraverso una serie di toolbar e bottoni che si affiancano al classico editor. Le facilitazioni sono davvero tante e vanno dall'inserimento dei tag, alla sintassi delle liste, dei link, delle immagini, delle tabelle fino alla ricerca e sostituzione (anche attraverso espressioni regolari).
Personalmente ho trovato WikEd davvero comodo e facile da usare. All'inizio bisogna un po' abituarsi al suo comportamento soprattutto nell'inserimento dei tag; infatti questi si applicano alla parola o alle righe non solo se queste sono evidenziate, ma anche se il cursore non è separato da almeno uno spazio.
Quindi se volete evidenziare in grassetto una parola, basta che il cursore vi si trovi sopra, immediatamente accanto o che la parola sia evidenziata. E questo è comodo.
Se però volete inserire una parola in grassetto all'interno di una frase, il cursore nel punto di inserimento deve essere separato dalle parole adiacenti. Non è molto comodo ma dopo un po' ci si adegua.
Attualmente WikEd funziona per tutti i browser tranne IE e Opera.
Installazione
Bisogna installare innanzitutto Greasemonkey e poi (dopo aver riavviato il browser) installare WikEd da questo indirizzo. È tutto.
Patch per il Wiki di Debianizzati
Qui di seguito vi è una patch da applicare al file ./mozilla/firefox/qualcosa.default/gm_scripts/wikEd/12529.user.js (per chi usa Iceweasel). Sono stati aggiunti dei bottoni che permettono di:
- Inserire i tag <pre> e <code>
- Inserire il template Versioni compatibili
- Inserire il template Autori
- Inserire i template Box, Stub, Warningbox e Suggerimento
Il tutto è stato testato con Iceweasel 10.0.11 e WikEd 0.9.109a. La versione di WikEd è possibile leggerla lasciando il mouse sopra l'icona in alto a destra.
--- 12529.user.js 2013-01-12 00:34:17.754334231 +0100
+++ 12529.user.js.new 2013-01-12 01:08:59.010439727 +0100
@@ -90,6 +90,24 @@
'wikEdBold title': 'Bold text',
'wikEdItalic alt': 'Italic',
'wikEdItalic title': 'Italic text',
+//Bottoni Wiki Debianizzati
+ 'wikEdPre title': 'Pre',
+ 'wikEdPre alt': 'Pre',
+ 'wikEdCode title': 'Code',
+ 'wikEdCode alt': 'Code',
+ 'wikEdNote title': 'Template Box',
+ 'wikEdNote alt': 'Template Box',
+ 'wikEdTip title': 'Template Suggerimento',
+ 'wikEdTip alt': 'Template Suggerimento',
+ 'wikEdWarn title': 'Template WarningBox',
+ 'wikEdWarn alt': 'Template WarningBox',
+ 'wikEdStub title': 'Template Stub',
+ 'wikEdStub alt': 'Template Stub',
+ 'wikEdAutori title': 'Template Autori',
+ 'wikEdAutori alt': 'Template Autori',
+ 'wikEdComp title': 'Versioni compatibili',
+ 'wikEdComp alt': 'Versioni compatibili',
+//Fine Bottoni Wiki Debianizzati
'wikEdUnderline alt': 'Underline',
'wikEdUnderline title': 'Underline text',
'wikEdStrikethrough alt': 'Strikethrough',
@@ -471,6 +489,16 @@
'webLink': '1/16/WikEd_weblink.png',
'wikEdDiff': 'c/c6/WikEdDiff.png',
'wikify': '9/9f/WikEd_wikify.png',
+//Immagini bottoni Wiki Debianizzati
+ 'Autori': 'd/de/Group.png',
+ 'Pre': 'c/c5/WikEd_dummy.png',
+ 'Code': 'c/c5/WikEd_dummy.png',
+ 'Compatibili': 'c/c9/Tux_icon.png',
+ 'Warning': '1/1f/Red_vovinam_16x16.png',
+ 'Note': '4/41/Blue_vovinam_16x16.png',
+ 'Tip': '0/00/Yellow_vovinam_16x16.png',
+ 'Stub': 'f/f9/Edit_uni.jpg',
+//Fine immagini bottoni Wiki Debianizzati
'wikiLink': '2/21/WikEd_wikilink.png'
});
};
@@ -488,9 +516,10 @@
'.wikEdFrameBodyPlain': 'height: auto; min-height: 100%; width: auto; background: transparent; margin: 0; padding: 0; padding-left: 0.25em; overflow: auto; font-family: monospace;',
'.wikEdFrameBodySyntax': 'height: auto; min-height: 100%; width: auto; background: transparent; margin: 0; padding: 0; padding-left: 0.25em; overflow: auto; font-family: monospace; text-shadow: white -1px -1px 0, white -1px 0 0, white -1px 1px 0, white 0 -1px 0, white 0 1px 0, white 1px -1px 0, white 1px 0 0, white 1px 1px 0;',
- '::selection': 'text-shadow: none; color: #fff; background: #006;',
- '::-moz-selection': 'text-shadow: none; color: #fff; background: #006;',
- '::-webkit-selection': 'text-shadow: none; color: #fff; background: #006;',
+// Selezione azzurra Wiki Debianizzati
+ '::selection': 'text-shadow: none; color: #fff; background: #418bd4;',
+ '::-moz-selection': 'text-shadow: none; color: #fff; background: #418bd4;',
+ '::-webkit-selection': 'text-shadow: none; color: #fff; background: #418bd4;',
'.wikEdFrameBodyNewbie': 'height: auto; min-height: 100%; width: auto; background: transparent; margin: 0; padding: 0; padding-left: 0.25em; overflow: auto; font-family: monospace;',
// reselection / scroll to selection
@@ -978,6 +1007,17 @@
78: ['wikEdDiff', 'wikEdButtonUnchecked', wikEd.config.text['wikEdDiff title'], wikEd.config.image['wikEdDiff'], '16', '16', wikEd.config.text['wikEdDiff alt'], 'wikEd.Button(obj, objId, true);' ],
74: ['wikEdScrollToEdit4', 'wikEdButtonSolo', wikEd.config.text['wikEdScrollToEdit4 title'], wikEd.config.image['scrollToEditDown'], '16', '16', wikEd.config.text['wikEdScrollToEdit4 alt'], 'wikEd.Button(obj, objId);' ],
+ // Bottoni Debianizzati
+ 100: ['wikEdCode', 'wikEdButton', wikEd.config.text['wikEdCode title'], wikEd.config.image['Code'], '16', '16', wikEd.config.text['wikEdCode alt'], 'wikEd.EditButton(obj, objId);' ],
+ 101: ['wikEdPre', 'wikEdButton', wikEd.config.text['wikEdPre title'], wikEd.config.image['Pre'], '16', '16', wikEd.config.text['wikEdPre alt'], 'wikEd.EditButton(obj, objId);' ],
+ 102: ['wikEdAutori', 'wikEdButton', wikEd.config.text['wikEdAutori title'], wikEd.config.image['Autori'], '16', '16', wikEd.config.text['wikEdAutori alt'], 'wikEd.EditButton(obj, objId);' ],
+ 103: ['wikEdComp', 'wikEdButton', wikEd.config.text['wikEdComp title'], wikEd.config.image['Compatibili'], '16', '16', wikEd.config.text['wikEdComp alt'], 'wikEd.EditButton(obj, objId);' ],
+ 104: ['wikEdNote', 'wikEdButton', wikEd.config.text['wikEdNote title'], wikEd.config.image['Note'], '16', '16', wikEd.config.text['wikEdNote alt'], 'wikEd.EditButton(obj, objId);' ],
+ 105: ['wikEdTip', 'wikEdButton', wikEd.config.text['wikEdTip title'], wikEd.config.image['Tip'], '16', '16', wikEd.config.text['wikEdTip alt'], 'wikEd.EditButton(obj, objId);' ],
+ 106: ['wikEdWarn', 'wikEdButton', wikEd.config.text['wikEdWarn title'], wikEd.config.image['Warning'], '16', '16', wikEd.config.text['wikEdComp alt'], 'wikEd.EditButton(obj, objId);' ],
+ 107: ['wikEdStub', 'wikEdButton', wikEd.config.text['wikEdStub title'], wikEd.config.image['Stub'], '16', '16', wikEd.config.text['wikEdStub alt'], 'wikEd.EditButton(obj, objId);' ],
+// Fine Bottoni Debianizzati
+
// dummy (empty placeholder)
76: ['wikEdDummy', 'wikEdButtonDummy', '', wikEd.config.image['dummy'], '16', '16', '', '' ],
@@ -1010,7 +1050,8 @@
wikEd.InitObject(wikEd.config.buttonBar, {
'format': ['wikEdButtonBarFormat', 'wikEdButtonBarFormat', 'wikEdButtonsFormat', 'wikEdButtonsFormat', 44, wikEd.config.text['wikEdGripFormat title'], [1,2,3,4,5,6,7,8,9,10,12,13,14,'br',15,16,17,19,20,21,22,23,24,11,80,25,76] ],
'textify': ['wikEdButtonBarTextify', 'wikEdButtonBarTextify', 'wikEdButtonsTextify', 'wikEdButtonsTextify', 44, wikEd.config.text['wikEdGripTextify title'], [26,'br',27] ],
- 'custom1': ['wikEdButtonBarCustom1', 'wikEdButtonBarCustom1', 'wikEdButtonsCustom1', 'wikEdButtonsCustom1', 44, wikEd.config.text['wikEdGripCustom1 title'], [ ] ],
+// Barra personalizzata bottoni Debianizzati
+ 'custom1': ['wikEdButtonBarCustom1', 'wikEdButtonBarCustom1', 'wikEdButtonsCustom1', 'wikEdButtonsCustom1', 44, wikEd.config.text['wikEdGripCustom1 title'], [100,102,104,105,'br',101,103,106,107] ],
'find': ['wikEdButtonBarFind', 'wikEdButtonBarFind', 'wikEdButtonsFind', 'wikEdButtonsFind', 44, wikEd.config.text['wikEdGripFind title'], [39,40,'find',41,76,43,44,'br',46,47,'replace',48,49,50,51] ],
'fix': ['wikEdButtonBarFix', 'wikEdButtonBarFix', 'wikEdButtonsFix', 'wikEdButtonsFix', 44, wikEd.config.text['wikEdGripFix title'], [52,53,54,55,56,81,'br',58,59,60,61,62,57] ],
'custom2': ['wikEdButtonBarCustom2', 'wikEdButtonBarCustom2', 'wikEdButtonsCustom2', 'wikEdButtonsCustom2', 44, wikEd.config.text['wikEdGripCustom2 title'], [ ] ],
@@ -5566,6 +5607,14 @@
// basic wiki character formatting: selection / focusWord / cursor
case 'wikEdBold':
case 'wikEdItalic':
+ case 'wikEdCode':
+ case 'wikEdPre':
+ case 'wikEdAutori':
+ case 'wikEdNote':
+ case 'wikEdWarn':
+ case 'wikEdStub':
+ case 'wikEdTip':
+ case 'wikEdComp':
case 'wikEdUnderline':
case 'wikEdStrikethrough':
case 'wikEdNowiki':
@@ -5964,6 +6013,73 @@
}
}
obj.changed.keepSel = true;
+ break;
+
+ // code
+ case 'wikEdCode':
+
+ // remove markup
+ if ( /<code>((.|\n)*?)<\/code>/i.test(obj.changed.plain) ) {
+ obj.changed.plain = obj.changed.plain.replace(/<code>((.|\n)*?)<\/code>/gi, '$1');
+ }
+
+ // add markup
+ else {
+ obj.changed.plain = '<code>' + obj.changed.plain + '<\/code>';
+ if (emptyOrSpaces == false) {
+ obj.changed.plain = obj.changed.plain.replace(/^(<code>)(\s*)((.|\n)*?)(\s*)(<\/code>)$/, '$2$1$3$6$5');
+ }
+ }
+ obj.changed.keepSel = true;
+ break;
+
+ // autori
+ case 'wikEdAutori':
+ obj.changed.plain = '{{Autori\n|Autore=~~~~\n|Verificata_da=\n|Estesa_da=\n|Numero_revisori=0\n}}';
+ break;
+
+ // versioni compatibili
+ case 'wikEdComp':
+ obj.changed.plain = '{{Versioni compatibili}}\n';
+ break;
+
+ // suggerimento
+ case 'wikEdTip':
+ obj.changed.plain = '{{Suggerimento|}}\n';
+ break;
+ // Warninbox
+ case 'wikEdWarn':
+ obj.changed.plain = '{{Warningbox|}}\n';
+ break;
+ // Note
+ case 'wikEdNote':
+ obj.changed.plain = '{{Box||}}\n';
+ break;
+ // stub
+ case 'wikEdStub':
+ obj.changed.plain = '{{Stub}}\n';
+ break;
+ // Template Autori
+ case 'wikEdAutori':
+ obj.changed.plain = '{{Autori\n|Autore=~~~~\n|Verificata_da=\n|Estesa_da=\n|Numero_revisori=0\n}}';
+ break;
+
+ // pre
+ case 'wikEdPre':
+
+ // remove markup
+ if ( /<pre>((.|\n)*?)<\/pre>/i.test(obj.changed.plain) ) {
+ obj.changed.plain = obj.changed.plain.replace(/<pre>((.|\n)*?)<\/pre>/gi, '$1');
+ }
+
+ // add markup
+ else {
+ obj.changed.plain = '<pre>' + obj.changed.plain + '<\/pre>';
+ if (emptyOrSpaces == false) {
+ obj.changed.plain = obj.changed.plain.replace(/^(<pre>)(\s*)((.|\n)*?)(\s*)(<\/pre>)$/, '$2$1$3$6$5');
+ }
+ }
+ obj.changed.keepSel = true;
break;
// underline
Applicare e rimuovere la patch
Salvare la patch in un file (ad esempio 12529.user.js.diff, copiarla nella directory ./mozilla/firefox/qualcosa.default/gm_scripts/wikEd/ (per chi utilizza Iceweasel) e patchare il file 12529.user.js con il comando:
$ patch < 12529.user.js.diff
Se si vuole rimuovere la patch, utilizzare invece il comando:
$ patch -R < 12529.user.js.diff
| Guida scritta da: S3v 02:05, 12 gen 2013 (CET) |  Debianized 20%
|
| Estesa da: | |
| Verificata da: | |
|
Verificare ed estendere la guida | Cos'è una guida Debianized | |