Manuale utente di Java Desktop System versione 3

Accesso a URI speciali

Java Desktop System contiene speciali URI che permettono di accedere a determinate funzioni dal File manager. Ad esempio, per accedere alle finestre di preferenze, è possibile accedere all'URI preferences:/// in una finestra del File manager. La Tabella 5–3 elenca gli URI speciali che è possibile usare con il File manager.

Tabella 5–3 URI speciali

URI 

Descrizione  

applications:///

Mostra l'elenco delle applicazioni di Java Desktop System. Le applicazioni elencate sono le stesse che compaiono nel menu Applicazioni. Per aprire un'applicazione, farvi doppio clic.

computer:///

Mostra l'elenco delle applicazioni e delle finestre di preferenze disponibili in Java Desktop System. Mostra inoltre le icone per l'accesso al file system, al CD-ROM e alle unità a dischetti. 

network:///

Visualizza le posizioni di rete a cui è possibile connettersi se il sistema è configurato in modo appropriato. Per accedere a una risorsa di rete, farvi doppio clic. Questo URI può anche essere utilizzato per aggiungere risorse di rete al sistema. 

preferences:///

Mostra l'elenco delle finestre di preferenze disponibili in Java Desktop System. Le finestre di preferenze elencate sono uguali a quelle disponibili nel menu Preferenze. Per aprire una finestra di preferenze, farvi doppio clic.

server-settings:///

Mostra un elenco delle applicazioni che è possibile usare per configurare il sistema come server.  

system-settings:///

Mostra un elenco delle applicazioni che è possibile usare per modificare le impostazioni del sistema.