Succede a tutti. apri pagina lunga e inizia a leggere senza attendere il download finale. In questo momento, le immagini vengono finalmente caricate e incorporate nella pagina, per cui perdi il punto in cui eri rimasto.
Per evitare che ciò accada di nuovo, apri la pagina delle impostazioni del servizio Chrome per dispositivi mobili all'indirizzo chrome://flag. Successivamente, è necessario trovare l'opzione "Regola scorrimento" e impostarla sulla posizione "Abilitato".
Il browser Chrome ha la funzione più utile per salvare il traffico mobile, che per qualche motivo poche persone usano. Consente di ridurre significativamente i costi dovuti alla compressione dei dati. Aspetto la pagina web praticamente non cambia, ma il suo peso diventa molte volte più piccolo.
Puoi attivare la compressione del traffico direttamente nelle impostazioni del programma. Non dimenticare di ricontrollare qui di tanto in tanto per vedere i risultati di questa funzione.
Se utilizzi il browser Chrome su tutti i tuoi dispositivi, probabilmente sai che i dati vengono sincronizzati tra di loro. Pertanto, non è affatto necessario aggiungere la pagina ai segnalibri se hai iniziato a leggerla al computer e all'improvviso hai dovuto andartene da qualche parte. Puoi semplicemente aprire sulla strada per navigatore mobile la sezione Schede recenti, dove troverai i collegamenti a tutte le pagine che hai visualizzato di recente, indipendentemente dal computer che stai utilizzando.
Esistono molti programmi per la lettura ritardata, ma non sempre ce n'è bisogno, perché lo stesso Chrome può salvare le pagine per la lettura senza connettersi al Web. Predefinito data funzione disabilitato, ma questo può essere facilmente risolto.
Puoi abilitare questa funzione nella pagina delle impostazioni sperimentali Google Chrome. Digitare barra degli indirizzi chrome://flag, quindi trova e attiva l'opzione chrome://flags/#offline-bookmarks.
Se, durante la lettura dell'articolo, ti imbatti in un termine il cui significato deve essere chiarito, non affrettarti a rivolgerti immediatamente ai motori di ricerca. Puoi evidenziare la parola desiderata, quindi inserire menù contestuale seleziona "Mostra suggerimenti". Dopodiché, in basso apparirà un pannello con dei pulsanti che ti permetteranno di inviare immediatamente una richiesta all'applicazione o al servizio desiderato.
Quali sono le funzioni versione mobile Ti piace di più Google Chrome?
Con l'aiuto di numerose applicazioni, non solo puoi espandere in modo significativo le capacità del browser, ma anche personalizzarlo a modo tuo. È questa idea che guida Google, quindi cercando di rendere diverso applicazioni google Cromo in modo che siano adatti a tutti gli utenti.
Per cominciare, vale la pena rispondere alla domanda, perché hai bisogno delle app di Google Chrome? I siti moderni hanno varie funzionalità dinamiche che in precedenza erano disponibili solo per i programmi installati sui computer. Ma oggi non è necessario utilizzare tutti questi numerosi programmi. Basta installare un'applicazione che occupa molto meno spazio su disco e non dovrebbe fallire (come garantiscono gli sviluppatori).
Ma bisogna sempre distinguere tra segnalibri e vere applicazioni.. Segnalibri a vari siti su questo momento così tanti. Ma non possono essere chiamate vere applicazioni. Ma si tratta dell'ultimo in questione. Cosa sono le app di Google Chrome e di cosa sono capaci?
Una delle più applicazioni utili Google Chrome sono numerosi blocchi note. Sì, blocco note. La nota rapida è simile documento di testo Microsoft Word . Solo per chiamare quest'ultimo, dovresti avviare appositamente il programma. Ma il blocco note è subito disponibile nella sezione applicazioni. Puoi scrivere tutto al suo interno senza lasciare il tuo browser. Non hai nemmeno bisogno di salvare nulla! Tutto avviene automaticamente. Questa app di Google Chrome funziona anche se non disponi di una connessione a Internet.
TweetDeckè un'applicazione molto utile per tutti gli utenti che hanno spesso conversazioni in numerosi social network. Con il suo aiuto puoi essere sempre aggiornato sugli eventi e su tutti i dialoghi su Twitter, Facebook, LinkedIn, Google Buzz, Foursquare, MySpace.
Google Talk riguarda più le estensioni che le app. Ma ancora questo caratteristica utile dovrebbe anche essere menzionato. Con Google Talk, puoi sempre rimanere in contatto con le persone che si trovano nel tuo elenco di contatti di Google+. Particolarmente piacevole è che la finestra della chat rimanga sempre aperta e attiva, anche se ci si sposta da una scheda all'altra.
Accetta che le app di Google Chrome dovrebbero essere utili per tutti gli utenti. Pensare quante volte hai dovuto eseguire la calcolatrice per calcolare qualsiasi dato? Passare dalla finestra del browser alla calcolatrice, che non ha tutte le funzioni di cui a volte potresti aver bisogno, è faticoso. E caratteristiche che non ci sono calcolatrice ordinaria, devi cercare su Internet. Ma grazie all'app calcolatrice di Google Chrome, tutto ciò non è più necessario. Al momento ci sono molti calcolatori diversi. Differiscono per funzionalità e design.
Calcolo- esattamente questo un'app migliore per tutti gli utenti che hanno bisogno di calcolare problemi matematici complessi. Calcolatrice numerica più facile da usare e ha un'interfaccia molto bella. Inoltre, ha una funzione di conversione del valore.
Quali altre utili app di Google Chrome ci sono? Tra le numerose applicazioni vanno individuati i dizionari. In modo che tu non debba cercare costantemente una traduzione di una parola, puoi semplicemente usare buona app. Tra i numerosi dizionari, puoi scegliere quello che ti piace di più. La scelta è illimitata. Puoi utilizzare sia il semplice En-Ru Translator che Yandex.Dictionaries. O forse sei interessato all'industria automobilistica? E per questo caso, c'è un'applicazione utile! Tutto ciò che riguarda le auto può essere trovato nel dizionario Cars.
Tra le numerose altre utili applicazioni di Google Chrome ci sono vari orologi e allarmi. Tra le numerose sveglie e orologi, puoi scegliere esattamente l'applicazione più adatta a te in termini di funzionalità.
A proposito, i giochi sono anche applicazioni di Google Chrome. Tra i tanti giochi, va segnalata l'applicazione più popolare, molto apprezzata da molte persone in tutto il mondo. Alcuni potrebbero pensare che gli uccelli fastidiosi e i maiali verdi non siano più così popolari, ma in realtà Applicazione Angry Birdsè considerato uno dei migliori di tutti quelli usciti nel 2011. A proposito, grazie a questo gioco, gli sviluppatori sono stati in grado di attirare l'attenzione di tutti gli utenti sulle capacità di gioco della piattaforma Google Chrome.
Google Chrome è un prodotto di uno dei più potenti motori di ricerca, Google. La data di fondazione della società è il 1998. Il browser Chrome di Google è stato lanciato nel 2008. Guadagnando il suo pubblico a un buon ritmo, diventa uno dei browser più popolari per computer e dispositivi mobili. Ora ha centinaia di milioni di utenti. Il browser viene utilizzato su quasi ogni secondo computer nel mondo. Diamo un'occhiata più da vicino a cos'è Chrome, come installarlo correttamente e quali caratteristiche ha.
Società Google. Inizio
Tutti sanno che Google è, prima di tutto, sistema di ricerca. Oggi Google è un'enorme multinazionale con uffici in molti paesi e la principale negli Stati Uniti.
E tutto è iniziato nel 1996. Due studenti californiani, Sergey Brin e Larry Page, stavano lavorando a un progetto di ricerca per sviluppare nuove tecnologie per la biblioteca digitale universale. Durante la ricerca, gli studenti hanno studiato le proprietà matematiche dell'allora esistente World Wide Web. È così che sono stati creati robot di ricerca, che ha trovato i siti necessari, ha offerto il proprio elenco, valutando, prima di tutto, l'importanza delle informazioni e non il numero più grande una certa parola che si incontra sul sito, come facevano i motori di ricerca allora esistenti.
Successivamente, sono stati trovati investitori per una tale idea di studenti. Il nuovo motore di ricerca, dopo aver subito molti miglioramenti, ha iniziato a conquistare molto rapidamente il cuore degli utenti.
Cos'è "Chrome"? All'inizio, la leadership della società Google non ha nemmeno pensato di creare un nuovo browser, perché la nicchia era già abbastanza piena. E francamente, i creatori di una potente società avevano paura di un clamoroso fallimento del progetto del browser. Ma, disponendo di poderose risorse finanziarie, decisero di tentare di abbozzare il progetto e portarlo al giudizio della direzione. Stranamente, è stato approvato, grazie alla sua semplicità, comprensibilità e piacevole utilizzo.
Nell'autunno del 2008, la prima versione del browser Google Chrome per il funzionamento Sistemi Windows. Grazie all'enorme budget investito nella nuova idea, il browser supera rapidamente il percorso da sconosciuto a molto popolare.
Il browser Google Chrome è basato su navigatore gratuito Chromium, che è il "padre" di molti browser esistenti. Gli sviluppatori del programma hanno deciso di utilizzare il motore Webkit come base per il suo lavoro, ma nel 2013 il browser Google Chrome è passato al motore Blink.
Ora il browser Google Chrome si posiziona come semplice, veloce e sicuro. Software. Naturalmente, lo dimostra con la sua popolarità, interfaccia comoda e non ingombrante, alto livello di sicurezza, che può essere discusso separatamente, molte applicazioni ed estensioni per tutti i gusti. Si può anche notare che un browser come Chrome non si ferma, migliorando costantemente i suoi numerosi servizi.
Seguendo l'adagio "Tutto geniale è semplice", Google Chrome ha molti vantaggi che gli hanno dato tanta popolarità. Tra questi, si può notare occhiata veloce pagine e un design minimalista in cui nulla distrae dalla pagina web.
Se non desideri che la tua cronologia di navigazione venga visualizzata dopo l'uso, la privacy sarà fornita dalla modalità di navigazione in incognito. Grazie a stringa di ricerca abbinato all'indirizzo, non è necessario inserire l'indirizzo completo del sito. Per sincronizzare i dati degli utenti, Google collega questi dati tra loro, archiviandoli su un server cloud. Se necessario, puoi accedere al tuo account da qualsiasi computer e ottenere l'accesso ai segnalibri e alle informazioni necessarie. Questa utile funzionalità è utile se il browser viene rimosso.
Il controllo degli errori del programma non ti consentirà di interrompere il lavoro nel momento sbagliato. Soddisfa anche l'universalità del browser per tutti i sistemi operativi. Probabilmente, molte persone sanno che Chrome è un browser che può essere installato su qualsiasi sistema operativo e dispositivo elettronico. Per garantire la sicurezza dei suoi utenti, Google Chrome mantiene una lista nera di siti dannosi e ti avvisa anche di una possibile minaccia quando visiti una o un'altra pagina sconosciuta. Questo browser ha molti vantaggi, ma la cosa principale nel lavoro di Chrome è la sua alta velocità.
Il browser Google Chrome viene scaricato gratuitamente. È meglio farlo dalla pagina ufficiale. Assicurati che il tuo dispositivo sia compatibile prima di scaricare. requisiti di sistema. Quindi, Windows per "Chrome" dovrebbe iniziare con la settima versione. Processore Intel Il Pentium deve essere di quarta generazione o successiva. Per installare Chrome su un dispositivo mobile su Basato su Android, dovresti usare una versione del sistema operativo che non può essere precedente ad Android 4.1. Sistema iOS deve iniziare con 9 e successivi.
Dopo file di configurazione"Chrome" viene scaricato gratuitamente, è necessario fare clic sul pulsante "Esegui" o "Salva". Quindi fare doppio clic per eseguire il file salvato file installato e utilizzare il browser Google Chrome.
Se necessario, dentro browser installato Google Chrome, puoi importare le impostazioni utente da altri browser, dopodiché informazioni come pagina iniziale, cronologia di navigazione, segnalibri, password degli account.
Chiudi tutto prima dell'importazione browser aperti, avvia "Chrome", nell'angolo in alto a destra vai al menu delle impostazioni, che viene mostrato come tre punti verticali. Fai clic su "Segnalibri", quindi su "Importa segnalibri e impostazioni" e seleziona il browser da cui desideri importare i dati. Se l'elenco non contiene il browser desiderato, è necessario esportare i segnalibri da esso in formato HTML, quindi, durante l'importazione in Chrome, selezionare la posizione "File HTML con segnalibri". Quando fai clic sul pulsante "Importa", tutte le impostazioni del browser precedente verranno trasferite a "Chrome".
Il browser Chrome viene aggiornato automaticamente al riavvio o in background. Ma con lo stato sempre attivo, puoi saltare l'aggiornamento. Per vedere se è disponibile di più una nuova versione Chrome, devi prestare attenzione al colore dell'indicatore del menu Impostazioni e controlli di Google Chrome nell'angolo in alto a destra dello schermo. Il verde indicherà che la nuova versione è stata rilasciata circa due giorni fa, l'arancione - quattro giorni fa, il rosso - sette giorni fa.
Per aggiornare manualmente Chrome, è necessario aprire il browser, andare nel menu "Personalizza e gestisci Google Chrome", selezionare la voce "Aggiorna Google Chrome" (l'assenza di tale voce significa che la versione del browser è già nuova) e fai clic su "Riavvia". Tutto finestre aperte e i segnalibri nel browser verranno salvati e caricati automaticamente al riavvio. Il riavvio può essere ritardato facendo clic sul pulsante "Non ora".
Se devi rimuovere il browser Chrome, devi uscirne, vai al pannello di controllo del tuo sistema operativo (nell'angolo in basso a sinistra). Quindi apri "Opzioni (Impostazioni)", seleziona la voce "Applicazioni", trova "Google Chrome" e seleziona l'azione "Elimina" (per Windows 8 e 10). Per Windows 7 o Vista, nella posizione "Impostazioni", seleziona "Pannello di controllo", quindi vai a "Disinstalla un programma" o "Programmi e funzionalità". Fai doppio clic su Google Chrome. Il browser verrà eliminato facendo clic sul pulsante "Elimina".
Per cancellare i dati del profilo, devi fare clic su "Cancella anche i dati di navigazione". Tuttavia, se sincronizzi i tuoi dati e accedi nuovamente al tuo account Google, alcune delle tue informazioni saranno disponibili perché sono archiviate sul server di Google. Per cancellare tutto completamente, è necessario cancellare la cronologia. Puoi farlo accedendo al menu "Personalizza e controlla Google Chrome", quindi seleziona "Altri strumenti" e quindi "Cancella dati di navigazione". Dopo aver specificato l'intervallo di tempo desiderato, seleziona le caselle relative al tipo di informazioni che desideri eliminare, quindi fai clic su Cancella cronologia.
Il browser Chrome di Google offre molte estensioni, plug-in e applicazioni diverse per gli utenti, sia a pagamento che gratuiti. Infatti, grazie alle estensioni per tutti i gusti, puoi progettare tu stesso il browser Chrome. Puoi trovare l'applicazione o l'estensione necessaria nel negozio online ufficiale.
Se le estensioni riguardano l'aggiunta e il miglioramento delle funzionalità del browser, allora lo sono le applicazioni singoli programmi che funzionano direttamente nel browser.
Per aggiungere estensioni o componenti aggiuntivi al browser Chrome, devi selezionare "Estensioni" o "App" nel negozio online di Chrome nella colonna di sinistra. Quindi seleziona ciò di cui hai bisogno dal catalogo che si apre, mentre puoi utilizzare la ricerca. Vicino alla posizione applicazione desiderata o estensione, verrà visualizzato un pulsante Installa. Se stai aggiungendo un'estensione, devi controllare a quali dati avrà accesso, quindi fare clic su "Installa estensione". Dopo di che applicazioni installate Chrome apparirà sul programma di avvio e le estensioni risultanti possono essere visualizzate come pulsanti sulla barra degli strumenti di Chrome.
Per rimuovere un'estensione non necessaria, devi andare al menu "Personalizza e gestisci Google Chrome", quindi selezionare la voce "Strumenti aggiuntivi" e da essa - "Estensioni". Nell'elenco che si apre, seleziona l'estensione da rimuovere e fai clic sul pulsante "Rimuovi da Chrome", quindi fai nuovamente clic su "Rimuovi". L'applicazione può essere disinstallata dalla "Barra degli strumenti" sul desktop.
Coloro che stanno al passo con i tempi utilizzano da tempo estensioni e applicazioni convenienti e utili nel proprio browser. La loro funzionalità può essere variata: dagli assistenti al lavoro ai giochi e all'intrattenimento. Prendi in considerazione alcune estensioni e applicazioni interessanti di Google Chrome:
DataSaver è tuo fedele assistente per risparmiare traffico. Ha la funzione di comprimere le pagine scaricate, il testo e le immagini. Molto utile per i dispositivi mobili. È già integrato nella versione per Android o iOS ("Impostazioni" - "Salvataggio del traffico").
Quick Notes è un blocco note che si apre online come una finestra su tua richiesta. Aiuta a scrivere istantaneamente il pensiero che ti ha visitato su qualsiasi pagina del Web.
XTranslate: questa estensione fornirà la traduzione istantanea sia di singole parole che di intere pagine web, devi solo selezionare il testo necessario.
Gmail Offline: ti consente di lavorare con la posta in assenza di Internet. È vero, è ancora necessario ricevere e inviare lettere. Ma puoi stampare la risposta lentamente.
Salva in tasca: salva una pagina Web per una lettura successiva, mentre la pulisce da pubblicità ed elementi non necessari, lasciando solo testo e un'immagine. La pagina verrà salvata nella cache e sarà disponibile anche senza Internet.
Quindi cos'è "Chrome"? È moderno e navigatore utile. La revisione delle applicazioni e delle estensioni popolari può essere continuata all'infinito. Tuttavia, spetta a te decidere di quale applicazione o estensione hai bisogno. Grande scelta, la loro diversità e disponibilità per il browser Google Chrome rende la nostra vita più facile e luminosa, aiuta nel lavoro, nello studio o ti permette di passare il tempo giocando.
Gli utenti che utilizzano Google Chrome come browser predefinito probabilmente hanno un'idea dell'app store. Coloro che hanno dovuto lavorare con loro sanno che le applicazioni sono solo collegamenti alle pagine Web dei servizi online corrispondenti. Si trovano su un pannello del browser separato all'indirizzo: "chrome://apps" (vedere lo screenshot per un esempio).
Applicazioni di Google Chrome
Di recente, la società ha rilasciato app Chrome per computer, sviluppate in lingue Programmazione javascript e HTML5. Vengono eseguiti in processi separati dal browser e non richiedono connessione di rete, sebbene utilizzino il motore di Chrome per il loro lavoro.
L'applicazione del browser Chrome è un programma autonomo scritto in linguaggi di programmazione (in ordine di popolarità):
A volte vengono utilizzati altri motori di applicazioni Web meno popolari, ma senza l'uso della tecnologia Flash di Adobe. Alla fine della compilazione fonte il programma è compresso, dopodiché è in grado di funzionare offline senza Internet, l'App Store offre di installare Google Keep su PC, editor grafici Sketchpad o Pixlr, taccuino Writer o gioco domestico Cut the Rope ed eseguirli come programmi classici tramite il lanciatore di applicazioni. A proposito, non è una proprietà di Windows e funziona anche su Linux e MacOS.
Si prega di notare che quando si utilizzano le applicazioni, Google Chrome Web Store installerà un pannello per l'avvio dei programmi Modalità automatica senza chiedere o notificare all'utente che è stata intrapresa un'azione.
Fig 1. Pannello con applicazioniAl termine dell'installazione, viene creato un collegamento nella barra delle applicazioni che avvia il launchpad, che visualizza un elenco di applicazioni Chrome utilizzate sul computer. Attraverso di esso, i programmi vengono avviati o eliminati senza richiedere il funzionamento di un browser Internet. Le vecchie applicazioni che si consiglia di sostituire con quelle aggiornate sono indicate da una freccia, come scorciatoie (in effetti lo sono - portano ai siti corrispondenti).
Il programma di avvio delle applicazioni di Chrome, quando è presente una connessione Internet attiva, sincronizza i segnalibri, la cronologia di navigazione, le password salvate, ecc. Se hai cancellato accidentalmente l'applicazione impostazioni di google chrome, vai su https://chrome.google.com/webstore/launcher e scaricalo.
Il Google Chrome Store contiene molti programmi per PC, inclusi editor grafici e di testo multifunzionali, convertitori di valori, utilità per prendere appunti, molti giochi, client per social network e altri servizi. I programmi per Google Chrome sono completi e possono facilmente sostituire le tue applicazioni quotidiane, soprattutto perché funzionano offline. L'utilizzo dei programmi di Google presenta diversi vantaggi:
Fig 2. Editor grafico TechSmith Snagit
Di conseguenza, otteniamo redattore grafico, che non è in grado di creare screenshot autonomamente e di funzionare senza Internet (il plug-in che acquisisce screenshot richiede una connessione di rete per funzionare).
Dopo essere entrati nel Google Store, molti hanno prestato attenzione all'applicazione per Google Chrome chiamata Pocket, un client dell'omonimo servizio. È progettato per memorizzare articoli di interesse per l'utente, che intende leggere in seguito. Il programma visualizza un elenco di articoli salvati sotto forma di miniature e consente di cercare le pubblicazioni necessarie in base al titolo. Durante il processo di salvataggio, le pagine web vengono cancellate dagli annunci.
Inoltre, Pocket ti consente di salvare le pubblicazioni nell'archivio o di condividere le più interessanti con gli amici in nei social network o inviare tramite e-mail.
Su Habré sono stati pubblicati molti articoli sulla creazione di estensioni per Chrome, ma l'argomento dello sviluppo di applicazioni Chrome (ovvero le app Chrome) è stato toccato molto meno frequentemente. Di recente, è diventato più rilevante a causa della diffusione di dispositivi su ChromeOS. Inoltre, l'infrastruttura per la creazione di app per Chrome è diventata più stabile e più facile da usare. In questo articolo cercherò di rispondere alle domande principali: perché scrivere applicazioni per Chrome, in che modo differiscono da estensioni, servizi Web, applicazioni desktop, ecc., nonché come sono sviluppate e quali restrizioni sono loro imposte. Se questo argomento suscita interesse, l'articolo avrà continuazioni che coprono questioni più specifiche.
Il punto è che ce ne sono due fondamentali tipi diversi applicazioni: app in hosting e app in pacchetto. Sfortunatamente, non ci sono termini russi stabiliti per loro. Ricerca, Gmail, ecc. sono ospitati. Tale applicazione è costituita da un file manifest.json con un URL e impostazioni di sicurezza e un'icona. In effetti, un'app ospitata è una scheda speciale per un servizio online.
A differenza dell'hosted, nel caso di un'app in pacchetto, tutti i file necessari per il funzionamento dell'applicazione vengono archiviati sul computer dell'utente. Tali app tendono a funzionare meglio offline, possono gestire le proprie finestre e generalmente hanno accesso a più API di Chrome.
In futuro parleremo di app pacchettizzate.
Allo stesso tempo, le estensioni e le applicazioni dall'interno sono molto simili. Entrambi vengono installati dal Chrome Web Store e sono file .crx che sono archivi zip. Le proprietà dell'estensione/applicazione sono descritte nel file manifest.json e l'interfaccia utente in esse è scritta in HTML5. Molti interfacce software Chrome è disponibile sia per le estensioni che per le app.
Allo stesso tempo, ci sono differenze significative. Le applicazioni possono utilizzare funzioni non disponibili per le estensioni:
Molte interfacce utilizzate dalle applicazioni sono standard generalmente accettati e sono ben note a tutti gli sviluppatori web. Per l'interfaccia utente vengono utilizzati HTML e CSS, per lavorare con HTTP - XMLHTTPRequest, ecc.
In un'applicazione Chrome, la sincronizzazione tra le istanze dell'applicazione viene implementata con uno sforzo aggiuntivo minimo o nullo. computer diversi. Lavorare con i file, come tutte le altre interfacce che dipendono da risorse esterne, è asincrono. Da un lato, questo complica in qualche modo il codice per le operazioni corrispondenti, dall'altro garantisce la reattività dell'interfaccia e impedisce il blocco.
Un'altra caratteristica di Chrome è la gestione della sicurezza. In Chrome, è organizzato in modo diverso rispetto a quelli classici. sistemi operativi e più come il sistema di sicurezza in Android. Gli sviluppatori di Chrome hanno sempre affrontato l'aggiunta di interfacce di programmazione in modo conservativo. Quando si progetta un sistema, è più facile allentare le restrizioni di sicurezza nel tempo piuttosto che renderle più restrittive. Di conseguenza, ad esempio, le applicazioni non hanno accesso illimitato al file system. Funzionano principalmente con file di proprietà dell'applicazione o aperti esplicitamente dall'utente.
In conclusione, fornirò un esempio di un'applicazione su cui io stesso ho lavorato (e
Lavorando). Questo editor di testo testo. Il codice dell'editor è disponibile su github. Per la modifica effettiva, viene utilizzata la libreria CodeMirror. L'applicazione implementa il lavoro con file, finestre, impostazioni di salvataggio e altre funzioni necessarie.
