Revision c68c9b7...

Go back to digest for 10th June 2012

Other in KDE Base

Shaheed Haque committed changes in [kate] /pate/src:

Remove nascent auto-reload capability.

Reloading plugins can never be guaranteed safe, but I also realised
that just because a developer saves a file does not mean she wants a
reload, especially in the middle of a debug session. So, get rid of the
whole concept.

Also, a few minor GUI tweaks.

File Changes

Modified 3 files
  • /pate/src
  •   playground/manager.ui
  •   playground/plugin.cpp
  •   playground/plugins/gid/
3 files changed in total