-
Notifications
You must be signed in to change notification settings - Fork 36.7k
Open
Labels
Description
This is either obsolete or needs some explanation what it does:
| ignoreInView?: boolean; |
Here is an example how I prefer options like these to be documented considering they will be used by other people in the team:
vscode/src/vs/platform/editor/common/editor.ts
Lines 220 to 226 in 012a494
| /** | |
| * Will reveal the editor if it is already opened (even when not visible) in any of the opened editor groups. | |
| * | |
| * Note that this option is just a hint that might be ignored if the user wants to open an editor explicitly | |
| * to the side of another one or into a specific editor group. | |
| */ | |
| revealIfOpened?: boolean; |