MiniPauker Code

GPL header added to new files

When there is a task running in the background then a ticker on the main menu informs about it and the Statistics view lists its progress

1. Added information about a currently active background task if any to the main menu (beware: can slow down the performance considerably :( )
2. Updated help
3. Little refactoring

Changed the look of the task progress monitor - now using a rotating circle of circles

Added 'Hide' command to the task progress monitor to switch the task to the execution in the background

1. Changed defaults: random cards drawing and session autoload are now true
2. When using the 'Save & Quit' and there is no current session to save into then a confirmation dialog is shown
3. Fixed an exception when a task such as session load is running in the background and you try to import a file (it will be stopped before it can do anything and the ExplorerUI.updateView will then fail for having an empty file list - fixed by opening the previous instead of next view for a task that didn't run)

Modified preferences for changes to apply immediately, esp. the scoll adjustment

- Renamed Fast Quit to 'Save & Quit' and the old '(Save) & Quit' to 'Quit Dialog' to make the function clearer
- You can immediately save the current session and quit by pressing the key '5' and confirming the function
while repeating expired or unlearned cards
- Scrolling on the Help page unified with that on the repeat/learn pages, should work better now

autofocus fixed

Re-enabled autofocus on scrollable forms, removed the manual focus setting.