Vorrei utilizzare un carattere monospazio su Sticky Notes nel widget Dashboard di Apple. Tuttavia, è possibile selezionare solo alcuni tipi di carattere, nessuno dei quali è monospaziato.
Vorrei utilizzare un carattere monospazio su Sticky Notes nel widget Dashboard di Apple. Tuttavia, è possibile selezionare solo alcuni tipi di carattere, nessuno dei quali è monospaziato.
Questo è possibile, perché i widget sono basati su HTML, CSS e JavaScript. Ecco come:
Innanzitutto, vai a /Library/Widgets
e trova gli Sticky. Copialo su ~/Library/Widgets
e chiamalo myStickies
(o qualcos'altro).
Chiudi il widget Stickies in Dashboard.
Ora, vai a la versione myStickies.wdgt
che hai copiato e fai clic con il pulsante destro del mouse . Scegli Show Package Contents
.
Nella nuova finestra visualizzata, fai clic con il pulsante destro del mouse sul file Stickies.js
e apri con il tuo editor JavaScript preferito (se non ne hai uno, TextWrangler è fantastico e gratuito).
Ora, utilizza l'editor per trovare la riga var fontArray = new Array;
(dovrebbe essere intorno alla riga 407). Vedrai sotto quella linea un po 'di linee simili tra loro, dicendo qualcosa come
fontArray["font name"] = 1,
. Vuoi copiare l'ultimo di quelli (Macchina da scrivere americana) e incollare di nuovo sotto di sé. Quindi, cambia in modo che assomigli a questo: fontArray["Courier New"] = 8;
Salva e chiudi questo file.
Ora, apri (dalla stessa cartella) Stickies.html
in un editor HTML (funziona TextWrangler).
Trova la riga che dice,
<select id='font-popup' class='popup' onchange='fontchanged(this);'>
(dovrebbe riguardare la riga 40).
Di seguito troverai trovare un gruppo di linee simili tra loro, ognuna delle quali inizia con <option value
. Copia quello per Gill Sans e incolla sotto se stesso.
Modifica per dire <option value ="Courier New">Courier New</option>
.
Salva e chiudi questo file.
Apri Terminale e digita killall Dock
. Questo riavvia Dashboard.
Ora, fai doppio clic il file del widget myStickies che hai creato. Si aprirà in Dashboard. Segui la normale procedura di fare clic su i
e cambiare il carattere. Avrai un'opzione Courier, e sarà quel font.
Yay!
Leggi altre domande sui tag font dashboard-widget