// 合作组员翻转元素 public void SetGroupUserOperation_Flip(Guid guid, FlippingState state) { var vi = ProjectDoc.Instance.SelectedViewportInfo; var e = vi.GetElementInfo(guid); if (e != null) { e.CurFlippingState = state; } }
public void SetElementFlipState(Guid guid, FlippingState state) { var user = Program.UserMgr.GetLoginUserInfo(OperationContext.Current); if (user != null) { var vi = user.LoginInfo.SpecificViewportInfo; Program.UserMgr.UserOperations.PushOperation(new UserOperation_SetFlip(user.AccountID, vi, guid, state)); Program.UserMgr.PushNotification(new UserNotification_SetGroupUserOperation_Flip(user, guid, state)); } }
// Start is called before the first frame update void Start() { gameManager = (GameManager)FindObjectOfType(typeof(GameManager)); heartsManager = (HeartsManager)FindObjectOfType(typeof(HeartsManager)); audioManager = (AudioManager)FindObjectOfType(typeof(AudioManager)); frontState = new FrontState(this); backState = new BackState(this); flippingState = new FlippingState(this); backFlippingState = new BackFlippingState(this); hideAwayState = new HideAwayState(this); actualState = backState; }
public UserOperation_SetFlip(long userId, ViewportInfo vi, Guid guid, FlippingState state) : base(userId, vi) { Guid = guid; State = state; }
public UserNotification_SetGroupUserOperation_Flip(ServerLoginUserInfo user, Guid guid, FlippingState state) : base(user) { GUID = guid; State = state; }
public Operation_Element_Flip(ElementInfo e, FlippingState stateOld, FlippingState stateNew) : base(e) { StateOld = stateOld; StateNew = stateNew; }