API to set tooltip y-margin
authorRobin Gareus <robin@gareus.org>
Fri, 24 Apr 2015 23:16:39 +0000 (01:16 +0200)
committerPaul Davis <paul@linuxaudiosystems.com>
Mon, 29 Jun 2015 18:18:13 +0000 (14:18 -0400)
commit96078650c9de7b6508eb65436328b31cbe49dfd7
tree048975ff7918298bbbfe3b200dd061f106cede80
parent016beaab9bf24740d796bdc43af152d1e3186d02
API to set tooltip y-margin
Conflicts:
libs/gtkmm2ext/gtkmm2ext/persistent_tooltip.h
libs/gtkmm2ext/persistent_tooltip.cc
libs/gtkmm2ext/gtkmm2ext/persistent_tooltip.h
libs/gtkmm2ext/persistent_tooltip.cc