TernJS settings