void SaveSettings()
 {
     if (settings != null)
     {
         SQLiteKitEditorSettings new_settings = ScriptableObject.CreateInstance(typeof(SQLiteKitEditorSettings)) as SQLiteKitEditorSettings;
         new_settings.Import(settings);
         AssetDatabase.MoveAssetToTrash(settings_path);
         settings = new_settings;
         AssetDatabase.CreateAsset(settings, settings_path);
     }
     AssetDatabase.Refresh();
     AssetDatabase.SaveAssets();
 }