name cleanup: StyleDef -> Style

2004-06-28 07:26:00 +00:00
parent 1296cd775d
commit 5544445ad0
80 changed files with 350 additions and 353 deletions
@@ -194,7 +194,7 @@ void ScreenSelectMode::UpdateSelectableChoices()

 		// FIXME for new premium prefs
 		const int SidesJoinedToPlay = 
-			(mc.m_pStyleDef == NULL) ?
+			(mc.m_pStyle == NULL) ?
 			1 :
 			1;
 			if( PREFSMAN->GetPremium()!=PrefsManager::JOINT_PREMIUM ||