make number of clipboards configurable

src/fenrir-package/commands/commands/copy_marked_to_clipboard.py

@@ -21,7 +21,7 @@ class command():
 
         marked = mark_utils.getTextBetweenMarks(startMark, endMark, environment['screenData']['newContentText'])
 
-        environment['commandBuffer']['clipboard'] = [marked] + environment['commandBuffer']['clipboard'][:9]
+        environment['commandBuffer']['clipboard'] = [marked] + environment['commandBuffer']['clipboard'][:environment['runtime']['settingsManager'].getSettingAsFloat(environment, 'general', 'numberOfClipboards') -1]
         environment['commandBuffer']['currClipboard'] = 0
         environment['commandBuffer']['Marks']['1'] = None
         environment['commandBuffer']['Marks']['2'] = None

src/fenrir-package/core/settings.py

@@ -32,6 +32,7 @@ settings = {
   'keyboardLayout': "desktop",
   'debugLevel': debug.debugLevel.DEACTIVE,
   'punctuationLevel': 1,
+  'numberOfClipboards': 10,
   'fenrirKeys':['82'],
 },
 'promote':{