InsertSymbols - butscher/WikidPad GitHub Wiki
''by alessandro orsi, version 0.3.3 - license GPL''
This is a simple plugin that displays a window with a list of symbols. Double-clicking any of them will close the window and insert the symbol at the current cursor position in the Wikidpad editor.
The list of symbol is user-defined, and can be modified through the ''Edit'' menu of the Symbols window: clicking ''Modify symbols list'' will open a new window where you can add or remove symbols. Remember to separate symbols with a comma.
The first time it is called, the plugin will create two files in Wikidpad's ''user_extensions'' folder:
- !InsertSymbols.cfg
- !InsertSymbols.dat
''!InsertSymbols.cfg'' is a text configuration file where you can modify the size of the font for the symbols displayed in the list and the size of the windows displayed by the plugin.
''!InsertSymbols.dat'' is a binary file (a Python pickled list), and contains the current list of symbols. If you delete it, it will be recreated with a standard list of symbols the next time the plugin is called.
''Ctrl-Alt-I '' will open the window with the list of symbols
''Up'' and ''Down'' arrows will move through the symbols
''Enter'' will insert the currently selected symbol in Wikidpad's editor
''Esc'' will close the window without inserting any symbol, or will close the Edit Symbols window without making any change to the list
''Tab'' will cycle through the controls in the Edit Symbols window
''Alt-E'' will open the menu in the Symbols window
The plugin should work with Wikidpad 1.9 to Wikidpad 2.1betas
To install, copy !InsertSymbols.py to the ''user_extensions'' folder and restart Wikidpad.
To upgrade replace the old !InsertSymbols.py with the new one and restart Wikidpad.
'''(!)''' If you customized the list of symbols contained at the beginning of the !InsertSymbols.py file in v0.2, copy it somewhere before upgrading to v0.3
'''v0.3.3''' - 31 Jan 2011
Fixed: focus problem on Linux
'''v0.3.2''' - 24 Jan 2011
Fixed: modifying the symbols list prevented Wikidpad from shutting down properly
'''v0.3.1''' - 16 Jan 2011
Fixed: ok/cancel buttons of the Edit Symbols dialogue now show in the correct order according to the operating system
'''v0.3''' - 16 Jan 2011
Added: dialogue to edit the current list of symbols
Fixed: plugin icon was displayed in the taskbar
Fixed: minimize/restore issues
Changed: moved configuration options and symbols list from the plugin file to separate files
'''v0.2''' - 3 Jan 2011
Fixed: plugin didn't work with Wikidpad 2.0 and 1.9
'''v0.1''' - 20 Dec 2010
First release