Fact 1: When creating a theorem (or anything like a theorem), one gets the option of creating a caption.
Fact 2: When we want to edit that caption, we can use edit in the topic tree, applied to the theorem. In the edit dialogue what was previously called caption is now referred to as header.
This is very confusing. Suggestion: Leave the edit dialogue for Fact 2 as is, but modify the level creation dialogue for theorems (as in Fact 1) etc by changing caption to header.
Fact 1: When creating a
theorem(or anything like a theorem), one gets the option of creating acaption.Fact 2: When we want to edit that caption, we can use
editin the topic tree, applied to the theorem. In the edit dialogue what was previously calledcaptionis now referred to asheader.This is very confusing. Suggestion: Leave the edit dialogue for
Fact 2as is, but modify the level creation dialogue for theorems (as in Fact 1) etc by changingcaptiontoheader.