micro-editor / micro-editor/micro

Tabsize in settings.json not activated after saving new python file

Open
#3,027 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Go
Stars
29.6k
Forks
1.4k
Avg merge
2d 18h
Merged PRs (30d)
10

Description

Description of the problem or steps to reproduce

After start Micro, open a new buffer/tab, type some Python-code, and for code-highlighting saving the Python py-file.
But after saving this new py-file it does not activate the tabsize:4 in my settings.json:

{
    "*.py": {
        "tabsize": 4
    },
    "eofnewline": false,
    "filemanager.openonstart": false,
    "hlsearch": true,
    "scrollbar": true,
    "softwrap": true,
    "tabsize": 2,
    "wordwrap": true
}

When closing Micro, restart and open a py-file then the tabsize (4) works well.

Is this an issue or is there a way when start a new py-file in Micro and after saving this new py-file (without restart Micro) the tabsize is set to 4?

PS: the default tabsize is set to 2

Specifications

Version: 2.0.13
Commit hash: 68d88b57
Compiled on October 21, 2023

OS: ChromeOS 118.0.5993.124
Terminal: Crostini

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Reproduce the behavior in Micro 2.0.13 using a new unsaved Python buffer and the shown settings.json, then save it as a .py file. Trace how settings are applied on save versus startup; done means the Python-specific tabsize of 4 takes effect immediately without restarting Micro.

Written by the indexing model from the issue text.

Assessment

Tech stack
go
Domain
cli
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.