/* Class = "NSButton"; ibShadowedToolTip = "Select this to check for external file changes. Use at your own risk."; ObjectID = "2"; */ "2.ibShadowedToolTip" = "Selezionare per monitorare cambiamenti esterni al file. Usare a proprio rischio."; /* Class = "NSTextField"; ibShadowedToolTip = "Enter the arguments for the command. Use %file to indicate the file to open and %line for the line number"; ObjectID = "7"; */ "7.ibShadowedToolTip" = "Inserisci gli argomenti per il comando. Usa %file per indicare il file da aprire e %line per il numero di riga"; /* Class = "NSPopUpButton"; ibShadowedToolTip = "Choose settings for a preset TeX editor, or use custom settings"; ObjectID = "8"; */ "8.ibShadowedToolTip" = "Scegli le impostazioni per un editor TeX preimpostato, oppure usa le impostazioni personalizzate"; /* Class = "NSTextField"; ibShadowedToolTip = "Enter the command to call your favorite TeX editor"; ObjectID = "9"; */ "9.ibShadowedToolTip" = "Inserisci il comando per lanciare il tuo editor TeX preferito"; /* Class = "NSTextFieldCell"; title = "Do not select this when using a script or program that will force a revert."; ObjectID = "12"; */ "12.title" = "Non selezionarlo quando si sta usando uno script o un programma che forzeranno un revert."; /* Class = "NSTextFieldCell"; title = "Preset:"; ObjectID = "13"; */ "13.title" = "Predefinito:"; /* Class = "NSMenuItem"; title = "Custom"; ObjectID = "17"; */ "17.title" = "Ad hoc"; /* Class = "NSTextFieldCell"; title = "Arguments:"; ObjectID = "20"; */ "20.title" = "Argomenti:"; /* Class = "NSTextFieldCell"; title = "PDF-TeX Sync support:"; ObjectID = "21"; */ "21.title" = "Supporto PDF-TeX Sync"; /* Class = "NSTextFieldCell"; title = "Command:"; ObjectID = "22"; */ "22.title" = "Comando:"; /* Class = "NSButtonCell"; title = "Check for file changes"; ObjectID = "23"; */ "23.title" = "Controlla cambiamenti del file";