I have been using the Carve tool (Ctrl + Shift + c) and when i use a brush to carve a different brush it works fine but, when i use a brush as my carver that has already been carved or if i carved a brush that was already carved it cuts my FPS in half and lags it until i undo the carve.
My problem is that i carved a brush that was already carved and then i saved over it and i can’t remember what/where it is, so hammer has a low FPS when i am in my map.(it is not low FPS on the earlier save)
Anyone know how to fix this problem? i know if you select the carved piece it will be a solid red color but, i don’t want to go around searching if there is another way.