Note that the same issue will occur again if you use the ctrl+mousewheel keyboard shortcut to shrink the font size to 0. I don't know why anyone would do that but it has happened surprisingly often. The real solution is to just update your IDE version to 1.8.5. This bug only occurs in the outdated Arduino IDE 1.8.4.