Fine-tune UI

This commit is contained in:
Sampo Niskanen 2015-01-07 17:37:14 +02:00
parent 9c75e7ee75
commit 0eef08ae41
2 changed files with 2 additions and 2 deletions

View File

@ -410,7 +410,7 @@ SimulationExtension.javacode.className = Fully-qualified Java class name:
SimulationExtension.scripting.name = {language} script
SimulationExtension.scripting.desc = Extend OpenRocket simulations by custom scripts.
SimulationExtension.scripting.language.label = Language:
SimulationExtension.scripting.warning.disabled = Untrusted scripts have been disabled. You need to manually enable them.
SimulationExtension.scripting.warning.disabled = Untrusted scripts have been disabled. You need to manually enable them in the Simulation options.
SimulationExtension.scripting.text.enabled = Enable script
SimulationExtension.scripting.text.enabled.ttip = The script is run only when enabled.
SimulationExtension.scripting.text.trusted = Trust this script on this computer

View File

@ -66,7 +66,7 @@ public class ScriptingConfigurator extends AbstractSwingSimulationExtensionConfi
panel.add(languageSelector, "wrap para");
text = new RSyntaxTextArea(extension.getScript(), 15, 60);
text = new RSyntaxTextArea(extension.getScript(), 20, 80);
text.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_JAVASCRIPT);
text.setCodeFoldingEnabled(true);
text.setLineWrap(true);