On Fri, 09 Dec 2016 10:06:36 +0000, Richard Shann <[email protected]>
wrote:

> > Maybe I used the wrong build options? The spec file is attached.  
> 
> No, sadly, that is how it is working. 

I was afraid so. I have great respect for all the troubles you take to get
at least some decent behaviour...

For the time being, I think I'll build with tooltips disabled. Does that
patch still exist?

-- Johan

_______________________________________________
Denemo-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/denemo-devel

Reply via email to