Never mind, a new bug report is not necessary because this bug report covers the symbol editor issue.
Never mind, a new bug report is not necessary because this bug report covers the symbol editor issue.