remove gtk ruler widget implementation - no longer in use