If the monster has both negatable and non-negatable traits and the player has the means to negate the monster, the non-negatable traits are listed first. The negatable traits are shown next, along with the list of item kinds that can negate the monster.
If the monster is destroyed by negation, shattering, or tunneling and the player has a known item of that type, that fact is displayed in the details screen.
Related to #664.
If the monster has both negatable and non-negatable traits and the player has the means to negate the monster, the non-negatable traits are listed first. The negatable traits are shown next, along with the list of item kinds that can negate the monster.
If the monster is destroyed by negation, shattering, or tunneling and the player has a known item of that type, that fact is displayed in the details screen.