We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a3acd56 commit d7df17aCopy full SHA for d7df17a
client/assets/js/Controller/Editor.js
@@ -212,8 +212,10 @@ EditorController.prototype.post_file_load = function(){
212
this.editor_view.getSession().setValue(this.file.data, -1);
213
214
// If its a saved file which isn't known to the app or to the user, then we warn him
215
+ // Also the filename must not be equal to the extension (handling cases like .bashrc, .vimrc, etc)
216
if(
217
this.file.persisted &&
218
+ this.file.title != this.file.extension() &&
219
!extensions.find({ key: 'name', value: this.file.extension() }) &&
220
!ArrayPreference.find("user_extensions").array.includes(this.file.extension())
221
){
0 commit comments