add docstring

jupyter · Sep 18, 2023 · e5e9d58 · e5e9d58
1 parent 46fa861
commit e5e9d58
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/packages/application/src/tokens.ts b/packages/application/src/tokens.ts
@@ -13,6 +13,9 @@ export interface INotebookPathOpener {
 }
 
 export namespace INotebookPathOpener {
+  /**
+   * The options used to open a path in the application.
+   */
   export interface IOpenOptions {
     /**
      * The URL prefix, which should include the base URL