Changing the default source selector to text.html.basic #22

Monox18 · 2023-06-15T10:20:11Z

The previous selecctor text.html was affecting other filetypes such as:
PHP (embedding.php text.html.php )
MD (text.html.markdown)

Changed source from text.html to source.html text.htm was wrongly affecting other files such as: .php -> embedding.php text.html.php .md -> text.html.markdown

text.html was wrongly linting other files such as php and md. The sources as reoported by SublimeText are: .php -> embedding.php text.html.php .md -> text.html.markdown .html -> text.html.basic

Monox18 · 2023-06-15T10:25:38Z

Fixes #20 and #9

Monox18 added 2 commits June 15, 2023 12:09

Update linter.py

590135c

Changed source from text.html to source.html text.htm was wrongly affecting other files such as: .php -> embedding.php text.html.php .md -> text.html.markdown

Changing the selector to text.html.basic

72c5a6e

text.html was wrongly linting other files such as php and md. The sources as reoported by SublimeText are: .php -> embedding.php text.html.php .md -> text.html.markdown .html -> text.html.basic

Monox18 closed this by deleting the head repository Jun 15, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Changing the default source selector to text.html.basic #22

Changing the default source selector to text.html.basic #22

Monox18 commented Jun 15, 2023

Monox18 commented Jun 15, 2023

Changing the default source selector to text.html.basic #22

Changing the default source selector to text.html.basic #22

Conversation

Monox18 commented Jun 15, 2023

Monox18 commented Jun 15, 2023