kile

  1. Bug #348662
  2. Comment #13

Comment 13 for bug 348662

Revision history for this message
Andreas Wenning (andreas-wenning) wrote : Re: Kile forgets shortcuts randomly

Okay; i expected it to re-appear.

The package to test is in my other (non-experimental) ppa:
https://launchpad.net/~andreas-wenning/+archive/ppa
The version should end in ubuntu4~ppa1