Revisione Wiki: differenze tra le versioni

Revisione Wiki (visualizza wikitesto)

Versione delle 18:43, 6 apr 2010

6 272 byte aggiunti , 6 apr 2010

nessun oggetto della modifica

S3v

6 999

contributi

@@ Riga 111: / Riga 111: @@
 :[[Utente:S3v|S3v]] 13:30, 17 feb 2010 (CET)
+'''Patch a WikEd'''<br/>
+Una patch da applicare al file <code>~/.mozilla/firefox/qualcosa.default/wiked/wiked.user.js</code> per poter applicare i tag <code>pre</code> e <code>code</code> cliccando su due pulsanti. La patch funziona con la versione 0.9.90n di WikEd. La versione utilizzata si può leggere nello stesso file <code>wiked.user.js</code>.
+<pre>
+--- wiked.user.js    2010-04-06 20:39:34.367421483 +0200
++++ wiked.user.js.orig    2010-04-06 20:41:00.103422325 +0200
+@@ -165,6 +165,10 @@
+             'wikEdTable title':            'Table',
+             'wikEdReferences alt':         'References',
+             'wikEdReferences title':       'References location (shift-click: References section)',
++            'wikEdCode alt':               'Code',
++            'wikEdCode title':             'Code',
++            'wikEdPre alt':                'Pre',
++            'wikEdPre title':              'Pre',
+ // textify buttons
+             'wikEdWikify alt':             'Wikify',
+@@ -386,6 +390,7 @@
+             'clearSummary':        '2/2c/WikEd_clear_summary.png',
+             'close':               '9/97/WikEd_close.png',
+             'closeToolbar':        '1/1d/WikEd_close_toolbar.png',
++            'code':                'b/b2/Page_white_code.png',
+             'ctrl':                '1/10/WikEd_ctrl.png',
+             'definitionList':      'f/f5/WikEd_definition_list.png',
+             'diff':                'd/db/WikEd_diff.png',
+@@ -430,6 +435,7 @@
+             'nowiki':              '5/5a/WikEd_nowiki.png',
+             'numberList':          '3/3b/WikEd_number_list.png',
+             'jumpPrev':            'c/c7/WikEd_jump_prev.png',
++            'pre':                 '6/69/Application_osx_terminal.png',
+             'preview':             '3/31/WikEd_preview.png',
+             'redirect':            'f/fa/WikEd_redirect.png',
+             'redo':                'd/d7/WikEd_redo.png',
+@@ -820,6 +826,8 @@
+: ['wikEdImage',            'wikEdButton',          wikEdText['wikEdImage title'],            wikEdImage['image'],               '16', '16', wikEdText['wikEdImage alt'],            'WikEdEditButton(obj, objId);' ],
+: ['wikEdTable',            'wikEdButton',          wikEdText['wikEdTable title'],            wikEdImage['table'],               '16', '16', wikEdText['wikEdTable alt'],            'WikEdEditButton(obj, objId);' ],
+: ['wikEdReferences',       'wikEdButton',          wikEdText['wikEdReferences title'],       wikEdImage['references'],          '16', '16', wikEdText['wikEdReferences alt'],       'if (!eventShiftKey) { WikEdEditButton(obj, objId); } else { WikEdEditButton(obj, \'wikEdReferencesSection\'); }' ],
++            100: ['wikEdCode', 'wikEdButton',     wikEdText['wikEdCode title'], wikEdImage['code'], '16', '16', wikEdText['wikEdCode alt'], 'WikEdEditButton(obj, objId);' ],
++            101: ['wikEdPre', 'wikEdButton',     wikEdText['wikEdPre title'], wikEdImage['pre'], '16', '16', wikEdText['wikEdPre alt'], 'WikEdEditButton(obj, objId);' ],
+ // wikify, textify
+: ['wikEdWikify',           'wikEdButton',          wikEdText['wikEdWikify title'],           wikEdImage['wikify'],              '16', '16', wikEdText['wikEdWikify alt'],           'WikEdEditButton(obj, objId);' ],
+@@ -912,7 +920,7 @@
+ // WikedInitButtonBar: define built-in button bars (id outer, class outer, id inner, class inner, height, grip title, button numbers)
+     window.WikedInitButtonBar = function() {
+         WikEdInitObject(wikEdButtonBar, {
+-            'format':    ['wikEdButtonBarFormat',    'wikEdButtonBarFormat',    'wikEdButtonsFormat',    'wikEdButtonsFormat',    44, wikEdText['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] ],
++            'format':    ['wikEdButtonBarFormat',    'wikEdButtonBarFormat',    'wikEdButtonsFormat',    'wikEdButtonsFormat',    44, wikEdText['wikEdGripFormat title'],  [1,2,3,4,5,6,7,8,9,10,12,13,14,23,'br',15,16,17,19,20,21,22,24,11,80,25,100,101] ],
+             'textify':   ['wikEdButtonBarTextify',   'wikEdButtonBarTextify',   'wikEdButtonsTextify',   'wikEdButtonsTextify',   44, wikEdText['wikEdGripTextify title'], [26,'br',27] ],
+             'custom1':   ['wikEdButtonBarCustom1',   'wikEdButtonBarCustom1',   'wikEdButtonsCustom1',   'wikEdButtonsCustom1',   44, wikEdText['wikEdGripCustom1 title'], [ ] ],
+             'find':      ['wikEdButtonBarFind',      'wikEdButtonBarFind',      'wikEdButtonsFind',      'wikEdButtonsFind',      44, wikEdText['wikEdGripFind title'],    [39,40,'find',41,76,43,44,'br',46,47,'replace',48,49,50,51] ],
+@@ -4987,6 +4995,8 @@
+         case 'wikEdSubscript':
+         case 'wikEdWikiLink':
+         case 'wikEdWebLink':
++        case 'wikEdCode':
++        case 'wikEdPre':
+             WikEdGetText(obj, 'selection, cursor');
+             if (obj.selection.plain != '') {
+                 obj.changed = obj.selection;
+@@ -5398,6 +5408,30 @@
+             }
+             obj.changed.keepSel = true;
+             break;
++
++// code
++        case 'wikEdCode':
++            if ( /&lt;code&gt;((.|\n)*?)&lt;\/code&gt;/i.test(obj.changed.plain) ) {
++                obj.changed.plain = obj.changed.plain.replace(/&lt;code&gt;((.|\n)*?)&lt;\/code&gt;/gi, '$1');
++            }
++            else {
++                obj.changed.plain = '&lt;code&gt;' + obj.changed.plain + '&lt;\/code&gt;';
++                obj.changed.plain = obj.changed.plain.replace(/(&lt;code&gt;)( *)((.|\n)*?)( *)(&lt;\/code&gt;)/, '$2$1$3$6$5');
++            }
++            obj.changed.keepSel = true;
++            break;
++
++// pre
++        case 'wikEdPre':
++            if ( /&lt;pre&gt;((.|\n)*?)&lt;\/pre&gt;/i.test(obj.changed.plain) ) {
++                obj.changed.plain = obj.changed.plain.replace(/&lt;pre&gt;((.|\n)*?)&lt;\/pre&gt;/gi, '$1');
++            }
++            else {
++                obj.changed.plain = '&lt;pre&gt;' + obj.changed.plain + '&lt;\/pre&gt;';
++                obj.changed.plain = obj.changed.plain.replace(/(&lt;pre&gt;)( *)((.|\n)*?)( *)(&lt;\/pre&gt;)/, '$2$1$3$6$5');
++            }
++            obj.changed.keepSel = true;
++            break;
+ // superscript
+         case 'wikEdSuperscript':
+</pre>
 ==Linee Guida==
 Di seguito alcune indicazioni per rendere omogeneo il processo di revisione dello stile e della formattazione delle guide.