The simplegeneric module lets you define simple single-dispatch generic
functions, akin to Python's built-in generic functions like len(), iter() and so
on. However, instead of using specially-named methods, these generic functions
use simple lookup tables, akin to those used by e.g. pickle.dump() and other
generic functions found in the Python standard library.
WWW: https://pypi.python.org/pypi/simplegeneric
- Prevent a possible string overflow when reading the configuration file.
- Plug a few memory leaks.
- Refactor a lot of code.
- Replace -l parameter (specify logfile) of dcf77pi by an interactive 'L' key
which can also be used to change or disable the log file.
- New entry in config.txt, "outlogfile", to specify the the default log file
(default empty).
- Fix a bug where the hour would be wrongly considered off by one at the
moment of a DST change.
- Various bug fixes in the GUI code (only affected displaying of the data).
- Handle log files with \n\r line endings used by RISC OS (which runs on the
Raspberry Pi).
- Slightly improve output when reading from a log file.
- Update README.md
Note: it's still broken on ia64, but this unbreaks on other platforms.
PR: ports/179370
Submitted by: Anton Shterenlikht <mexas (at) bris.ac.uk>
Approved by: maintainer time-out
Enhancements:
- Added a note linking to more information about projects
- Rename PDF files from within Docear changes the file links in BibTeX and your
mind maps
- Implemented action to remove any links from selected nodes
- Renamed some pdf management actions
Bug fixes:
- Duplicate annotations after manual import via drag & drop
- Manual Update Check did not work
- Fixed NPE in AddOnsController
Miscellaneous changes:
- Added donation note for PDF metadata extraction
This poor PR is several months old. It applied without much trouble, but
several changes were made:
* Don't use https if http will do (and http works fine)
* Don't use the launcher URL. It is always the latest version, so the
second minecraft is updated, the port will break. Use an version-based
URL instead, one that will update with the port version
* Add stage support
* At least four stable versions have been released since the PR's version
of 1.6.2. Go ahead and update it to the latest stable version of 1.7.5
* The latest version builds and installs fine, but it was not tested.
Feedback on the PR indicates 1.6.2 works fine, but currently how well
version 1.7.5 works is unknown.
PR: ports/180195
Submitted by: "r4721"
Approved by: maintainer (Janik Galasso)
Staged by: marino@