-
Pino Toscano authored
THe system generally works; what is missing is a good activating strategy (added in TODO - our usability expert is working on that), and a GUI to configure the editor. The DVI backend was adapted to use this new feature. (The PDF backend will use it soon.) svn path=/trunk/playground/graphics/okular/; revision=605708
274469da