Dear Tokeur, could you change your editor configs