From a68468d7cedd8be02e8f2629de988bc6a13db6ef Mon Sep 17 00:00:00 2001 From: A_D Date: Thu, 24 Dec 2020 06:22:40 +0200 Subject: [PATCH] Updated wording in plugins docs --- PLUGINS.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/PLUGINS.md b/PLUGINS.md index 3ec5751c..7fe3e390 100644 --- a/PLUGINS.md +++ b/PLUGINS.md @@ -220,8 +220,9 @@ title will be the value that you returned from `plugin_start3`. Use widgets from EDMC's myNotebook.py for the correct look-and-feel. You can be notified when the settings dialog is closed so you can save your settings. -You can use `set()` and `get_$type()` (where type is one of: `int`, `bool`, `str`, `list`) from EDMC's -`config.config` object to retrieve your plugin's settings in a platform-independent way. +You can use `set()` and `get_$type()` (where type is one of: `int`, `bool`, `str`, `list`) from EDMC's +`config.config` object to retrieve your plugin's settings in a platform-independent way. Previously this was done with +a single set and two get methods, the new methods provide better type safety. **Be sure to use a unique prefix for any settings you save so as not to clash with core EDMC or other plugins.**