Reduce jittering in symbols
Used doubles instead of floats, which increases precision. Also, corrected for a loss of precision caused by GtkAllocation's use of integers.
Used doubles instead of floats, which increases precision. Also, corrected for a loss of precision caused by GtkAllocation's use of integers.