[Eric] PyLint plugin

[Detlev Offenbach]

On Montag, 11. April 2011, Jabba Laci wrote:
> > That could be done. However, is it really placed at the right location?
> > The contents of the messages will change. So, where is the relation to
> > the previous display?
> 
> Hi Detlev,
> 
> I don't really understand your question. I want to say that for
> instance if I scroll down to 50% and press refresh, the scrollbar
> should jump to 50% after showing the result instead of 0% (jumping to
> the top).
> 
> However, I implemented this feature in my simple GUI, you can have a
> look at it to see what I mean:
> https://github.com/jabbalaci/PyLint-Output-Visualizer .
> Simplest usage: ./pylov.py  pylov.py    (to analyze itself).
> 
> Relevant code (in wxPython):
> 
> scrollpos = self.html1.GetViewStart()[1]
> ... # refresh
> self.html1.Scroll(0, scrollpos)   # jump to the prev. scroll position
> 

Done. Get the updated plug-in via the plugin repository dialog.

Detlev
-- 
Detlev Offenbach
detlev at die-offenbachs.de