Unlike with all of the other @Begin.. / @End.. pairs, the @BeginCode / @EndCode facility does not have a variant which inserts the quoted code at the current point in the manual; one has to issue an @InsertCode command explicitly for the code to appear. I suggest it would be useful to have an immediate version.
I have proposed code that includes this change which I will post soon.
Unlike with all of the other
@Begin../@End..pairs, the@BeginCode/@EndCodefacility does not have a variant which inserts the quoted code at the current point in the manual; one has to issue an@InsertCodecommand explicitly for the code to appear. I suggest it would be useful to have an immediate version.I have proposed code that includes this change which I will post soon.