Parametro userParameter

userParameter è un parametro molto utile per i programmatori di estensioni dell'editor.  Consente di associare varie impostazioni all'editor, a diversi livelli di ambiti, in maniera simile ai parametri dell'editor.

Disponibilità

Comando query
Comando set

Ambito

L'ambito di userParameter.view. è la vista corrente.
L'ambito di userParameter.document. è il documento nella vista corrente.
L'ambito di userParameter è globale.

Sintassi

query userParameter.[ view. | document. ] name
set userParameter.[ view. | document. ] name [ value ] 

Parametri

view. Utilizzare il qualificatore view. per specificare la vista corrente come ambito dello userParameter.
document. Utilizzare il qualificatore document. per specificare il documento nella vista corrente come ambito dello userParameter.
Name Utilizzare il parametro name per specificare il nome dello userParameter.
value Utilizzare il parametro value per specificare il valore dello userParameter.  Non ci sono restrizioni per value.  Se non si specifica un valore per il comando set userParameter, l'impostazione del parametro nella vista specificata, nel documento specificato o nell'ambito globale viene rimossa:  per questo parametro verrà ripristinato, se disponibile, il valore di ambito più alto.

Descrizione

Le impostazioni relative allo userParameter con ambito globale vengono memorizzate nel profilo predefinito (vedere il parametro di editor defaultProfile).  Le impostazioni dello userParameter con ambito documento, che sovrascrivono quelle globali per un particolare documento, vengono memorizzate nel documento associato.  Le impostazioni dello userParameter con ambito vista, che sovrascrivono le impostazioni relative a una particolare vista documento, vengono memorizzate nella vista associata.

Il comando query userParameter restituisce l'impostazione dello userParameter nell'ambito specificato se disponibile, altrimenti restituisce l'impostazione di ambito con il valore più alto.

Esempi

query userParameter.myParameter
query userParameter.document.myParameter
query userParameter.view.myParameter
set userParameter.myParameter Global setting
set userParameter.document.myParameter Document value
set userParameter.view.myParameter 42
set userParameter.myParameter 

Riferimento correlato
Comando query
Comando set
Parametro defaultProfile