Menu

Dateiendung wird nicht automatisch gesetzt

2007-09-28
2012-11-13
  • Nobody/Anonymous

    Ich bin heute auch auf diesen Texteditor umgestiegen und bin begeistert. Da ich hauptsächlich mit Textdateien arbeite würde ich mich freuen, wenn die Dateiendung .txt automatisch beim speichern gesetzt wird. Kann mir hier wer helfen?

     
    • Nobody/Anonymous

      Das ist im Moment nicht vorgesehen, dass man automatisch die richtige Endung zugewiesen bekommt, wenn man einen bestimmten Sprach Typ gesetzt hat. Ich weiß nicht wie es um Dein Englisch bestellt ist, aber ansonsten einfach ein FeatureRequest stellen.

      Jens

       
MongoDB Logo MongoDB