*
*/
private void checkTabSettings ()
{
File sketchProps = getSketchPropertiesFile();
Settings settings;
try {
settings = new Settings(sketchProps);
} catch ( IOException ioe ) {
ioe.printStackTrace();
return;
}
if ( settings == null )
{
statusError( "Unable to create sketch properties file!" );
return;
}
sketchTabsSize = settings.get( "coffee.editor.tabs.size" );
String editorTabsSize = Preferences.get( "editor.tabs.size" );
if ( sketchTabsSize != null )
{
if ( !sketchTabsSize.equals( editorTabsSize ) )
{
// TODO: make this an alert?
// how can it be fixed?
System.err.println(
String.format( "This sketch \"%s\" has a different tab setting as your editor", getSketch().getName() ));
}
}
else
{
sketchTabsSize = editorTabsSize;
settings.set( "mode", "de.bezier.mode.coffeescript.CoffeeScriptMode" );
settings.set( "coffee.editor.tabs.size", editorTabsSize );
settings.save();
}
}