From e5fabd05ba95d99e3a53c129cbcd72891c6e8f1a Mon Sep 17 00:00:00 2001 From: Jekyll Wu Date: Mon, 3 Oct 2011 17:30:57 +0800 Subject: [PATCH] Minor change on indentation. --- src/SessionManager.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/SessionManager.cpp b/src/SessionManager.cpp index 38bc70330..9a465aba1 100644 --- a/src/SessionManager.cpp +++ b/src/SessionManager.cpp @@ -506,16 +506,18 @@ void SessionManager::applyProfile(Session* session, const Profile::Ptr profile , switch ((Profile::HistoryModeEnum)mode) { case Profile::DisableHistory: - session->setHistoryType( HistoryTypeNone() ); + session->setHistoryType( HistoryTypeNone() ); break; + case Profile::FixedSizeHistory: { int lines = profile->property(Profile::HistorySize); session->setHistoryType( CompactHistoryType(lines) ); } break; + case Profile::UnlimitedHistory: - session->setHistoryType( HistoryTypeFile() ); + session->setHistoryType( HistoryTypeFile() ); break; } }