Searched refs:scriptIsInPlugin (Results 1 – 2 of 2) sorted by relevance
444 const bool scriptIsInPlugin = in praat_doMenuCommand() local448 scriptIsInPlugin ? U"preferencesDirectory$ + " : U"", in praat_doMenuCommand()450 scriptIsInPlugin ? scriptPath + str32len (preferencesFolderPath) : scriptPath, in praat_doMenuCommand()477 const bool scriptIsInPlugin = in praat_doMenuCommand() local481 scriptIsInPlugin ? U"preferencesDirectory$ + " : U"", in praat_doMenuCommand()483 scriptIsInPlugin ? scriptPath + str32len (preferencesFolderPath) : scriptPath, in praat_doMenuCommand()
723 const bool scriptIsInPlugin = in praat_doAction() local727 scriptIsInPlugin ? U"preferencesDirectory$ + " : U"", in praat_doAction()729 scriptIsInPlugin ? scriptPath + str32len (preferencesFolderPath) : scriptPath, in praat_doAction()754 const bool scriptIsInPlugin = in praat_doAction() local758 scriptIsInPlugin ? U"preferencesDirectory$ + " : U"", in praat_doAction()760 scriptIsInPlugin ? scriptPath + str32len (preferencesFolderPath) : scriptPath, in praat_doAction()