Changes between Version 5 and Version 6 of InsertSymbols


Ignore:
Timestamp:
Jan 16, 2011 6:33:14 AM (8 years ago)
Author:
ale
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InsertSymbols

    v5 v6  
    11= Insert Symbols plugin for Wikidpad =
    2 ''by alessandro orsi, license GPL''
     2
     3''by alessandro orsi, version 0.3 - license GPL''
     4
     5
     6This 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.
     7
     8
     9The 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.
     10
     11The first time it is called, the plugin will create two files in Wikidpad's  ''user_extensions'' folder:
     12
     13    * !InsertSymbols.cfg
     14    * !InsertSymbols.dat
     15
     16''!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.
     17
     18''!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 .
    319
    420[[BR]]
    521
    6 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.
    7 
    8 [[BR]]
    9 The list of symbol is user-defined, and can be modified adding more symbols or deleting any of them. To do so, open !InsertSymbols.py with a text editor, at the beginning of the file, under the SETTINGS section, add or remove symbols from the line:
     22== Keyboard navigation ==
    1023
    1124
    12 SYMBOL_LIST = '...'
    1325
    14 separate each symbol with a comma. '''(!)''' Make sure the symbols you list here are effectively present in the font you are using in the Wikidpad editor
     26''Ctrl-Alt-I '' will open the window with the list of symbols
    1527
     28''Up''  and ''Down'' arrows will move through the symbols
    1629
    17 If the symbols shown in the window are too small or too big, you can modify the font size by changing:
     30''Enter'' will insert the currently selected symbol in Wikipad's editor
    1831
    19 FONT_SIZE = ...
     32''Esc'' will close the window without inserting any symbol, or will close the Edit Symbols window without making any change to the list
     33
     34''Tab'' will cycle through the controls in the Edit Symbols window
    2035
    2136
    2237[[BR]]
     38== Installing and upgrading ==
    2339
    24 The Symbols window can also be managed using only the keyboard:
    25 
    26 [[BR]]
    27 
    28 ''Ctrl-Alt-I'' will open the window with the list of symbols
    29 
    30 ''Up'' and ''Down'' arrows will move through the symbols
    31 
    32 ''Enter'' will insert the currently selected symbol in Wikipad's editor
    33 
    34 ''Esc'' will close the window without inserting any symbol
    35 
    36 [[BR]]
    37 
     40The plugin should work with Wikidpad 1.9 to Wikidpad  2.1betas
    3841
    3942To install, copy !InsertSymbols.py to the user_extensions folder and restart Wikidpad.
    4043
     44To upgrade replace the old !InsertSymbols.py with the new one and restart Wikidpad.
     45
     46'''(!)'''  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
     47
     48
    4149[[BR]]
     50== Changelog ==
    4251
    43 = Changelog =
     52'''v0.3''' - 16 Jan 2011
     53
     54Added: dialogue to edit the current list of symbols
     55
     56Fixed:  plugin icon was displayed in the taskbar
     57
     58Fixed: minimize/restore issues
     59
     60Changed: moved configuration options and symbols list from the plugin file to separate files
    4461
    4562'''v0.2''' - 3 Jan 2011
     
    4764Fixed: plugin didn't work with Wikidpad 2.0 and 1.9
    4865
    49 
    5066'''v0.1''' - 20 Dec 2010
    5167
    52 First release
    53 
    54 
    55 [[BR]]
     68First release