Distro's should have custom default file extensions...

Author: Meychi

Distros/HaxeDevelop/PluginCore/PluginCore/DistroConfig.cs

@@ -13,6 +13,7 @@ public class DistroConfig
         public const String DISTRIBUTION_COPYRIGHT = "HaxeDevelop.org 2015-2016";
         public const String DISTRIBUTION_COMPANY = "HaxeDevelop.org";
         public const String DISTRIBUTION_RSS = "http://www.haxedevelop.org/rss.xml";
+        public const String DISTRIBUTION_EXT = "hx";
     }
 
 }

FlashDevelop/Settings/Accessors.cs

@@ -286,7 +286,7 @@ public Int32 ScrollWidth
             set { this.scrollWidth = value; }
         }
 
-        [DefaultValue("as")]
+        [DefaultValue(DistroConfig.DISTRIBUTION_EXT)]
         [DisplayName("Default File Extension")]
         [LocalizedCategory("FlashDevelop.Category.Editor")]
         [LocalizedDescription("FlashDevelop.Description.DefaultFileExtension")]

FlashDevelop/Settings/Properties.cs

@@ -40,7 +40,7 @@ public partial class SettingObject : ISettings
         private List<String> previousDocuments = new List<String>();
         private List<String> disabledPlugins = new List<String>();
         private String latestDialogPath = Application.StartupPath;
-        private String defaultFileExtension = "as";
+        private String defaultFileExtension = DistroConfig.DISTRIBUTION_EXT;
         private Boolean confirmOnExit = false;
         private Boolean keepIndentTabs = false;
         private Boolean disableFindOptionSync = false;

PluginCore/PluginCore/DistroConfig.cs

@@ -13,6 +13,7 @@ public class DistroConfig
         public const String DISTRIBUTION_COPYRIGHT = "FlashDevelop.org 2005-2016";
         public const String DISTRIBUTION_COMPANY = "FlashDevelop.org";
         public const String DISTRIBUTION_RSS = "http://www.flashdevelop.org/community/rss.php?f=15";
+        public const String DISTRIBUTION_EXT = "as";
     }
 
 }