document structure does not respect visibility for \renewcommand

[jojo2357]

PyCharm 2024.2.2 Professional
Texify 0.9.7

File contents:

\documentclass[12pt]{article}

\newcommand{\mycmd}{Hi}
\renewcommand{\qedsymbol}{Hi}

\begin{document}

\end{document}

Goto Structure

Observe tree:

This is as intended.

Uncheck Show Command Definitions under the visibility settings

Observe the redefinition still present:

I believe this to be unintended behavior

[PHPirates]

I agree, if you want to hide definitions you probably also want to hide redefinitions