Note source: disable the ability to change the icon #5554
Description
The icon of a note source tab can be changed by clicking on the icon. This will edit the original note to update the newly selected icon. The purpose of the note source is to inspect the note's markup code, not to cause modifications. For consistency, I suggest disabling the ability to change the icon for note sources.