BufferManager.sigwinch_happened! modified to run once if it already happened