/* Class = "NSButton"; ibShadowedToolTip = "Select this to check for external file changes. Use at your own risk."; ObjectID = "2"; */ "2.ibShadowedToolTip" = "Selecteer dit om te automatisch te controleren wanneer een bestand wordt gewijzigd. Gebruik op eigen risico."; /* 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" = "Vul de argumenten voor het commando in. Gebruik %file in plaats van het bestand dat moet worden geopend, en %line voor het lijnnummer"; /* Class = "NSPopUpButton"; ibShadowedToolTip = "Choose settings for a preset TeX editor, or use custom settings"; ObjectID = "8"; */ "8.ibShadowedToolTip" = "Kies instellingen voor een standaard TeX-editor, of gebruik willekeurige instellingen"; /* Class = "NSTextField"; ibShadowedToolTip = "Enter the command to call your favorite TeX editor"; ObjectID = "9"; */ "9.ibShadowedToolTip" = "Vul het commando om uw favoriete TeX-editor aan te roepen in"; /* Class = "NSTextFieldCell"; title = "Do not select this when using a script or program that will force a revert."; ObjectID = "12"; */ "12.title" = "Kies dit niet wanneer u een script of programma gebruikt dat het bestand herlaadt."; /* Class = "NSTextFieldCell"; title = "Preset:"; ObjectID = "13"; */ "13.title" = "Instelling:"; /* Class = "NSMenuItem"; title = "Custom"; ObjectID = "17"; */ "17.title" = "Custom"; /* Class = "NSTextFieldCell"; title = "Arguments:"; ObjectID = "20"; */ "20.title" = "Argumenten:"; /* Class = "NSTextFieldCell"; title = "PDF-TeX Sync support:"; ObjectID = "21"; */ "21.title" = "PDF-TeX Sync ondersteuning:"; /* Class = "NSTextFieldCell"; title = "Command:"; ObjectID = "22"; */ "22.title" = "Commando:"; /* Class = "NSButtonCell"; title = "Check for file changes"; ObjectID = "23"; */ "23.title" = "Check voor veranderingen van het bestand";