From fb613bcaedb0fc4c473da25c02102b11e05f406c Mon Sep 17 00:00:00 2001
From: Per Liedman <per@liedman.net>
Date: Thu, 26 Oct 2017 22:32:01 +0200
Subject: [PATCH] Clarify that any option keys can be used

Fixes #4001.
---
 src/core/Class.leafdoc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/core/Class.leafdoc b/src/core/Class.leafdoc
index 5a2f8380..dbcf85e7 100644
--- a/src/core/Class.leafdoc
+++ b/src/core/Class.leafdoc
@@ -133,6 +133,12 @@ var a = new MyClass({bla: 10});
 a.options; // {foo: 'bar', bla: 10}
 ```
 
+Note that the options object allows any keys, not just
+the options defined by the class and its base classes.
+This means you can use the options object to store
+application specific information, as long as you avoid
+keys that are already used by the class in question.
+
 @section Includes
 @example