HazyResearch / mindbender

Tools for iterative knowledge base development with DeepDive
117 stars 31 forks source link

Small UI issue #6

Open zifeishan opened 9 years ago

zifeishan commented 9 years ago

With the current version of Mindtagger, the line height will change after a label is created. And if the mouse is hovered on the mention, the line height changes quite a bit:

image

Though it's a minor issue, I think this somehow affects the user experience. =)