Description of the problem or steps to reproduce
If you have multiple files opened in multiple tabs and press Ctrl+e for the Micro internal shell and set the filetype with set filetype txt to txt, for example, this will change the filetype for all open tabs and not for the current focused tab. I would expect that if i set the filetype it only will happen for the current focused tab.
If you need more informations about my system or something else, feel free to ask me.
Specifications
Commit hash: Version: 2.0.11
OS: Debian 12.5
user@host ~ # cat /etc/os-release
PRETTY_NAME="Debian GNU/Linux 12 (bookworm)"
NAME="Debian GNU/Linux"
VERSION_ID="12"
VERSION="12 (bookworm)"
VERSION_CODENAME=bookworm
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"
Terminal: xterm-256color (hopefully correct)
Description of the problem or steps to reproduce
If you have multiple files opened in multiple tabs and press Ctrl+e for the Micro internal shell and set the filetype with
set filetype txtto txt, for example, this will change the filetype for all open tabs and not for the current focused tab. I would expect that if i set the filetype it only will happen for the current focused tab.If you need more informations about my system or something else, feel free to ask me.
Specifications
Commit hash:
Version: 2.0.11OS:
Debian 12.5Terminal:
xterm-256color(hopefully correct)