public void Update() { // 初始化 PairListBox.Items.Clear(); LeftContent.Clear(); RightContent.Clear(); //SeparatorSymbol.Clear(); //CommentSymbol.Clear(); UsingRex.IsChecked = false; IgnoreCase.IsChecked = false; Multiline.IsChecked = false; Singleline.IsChecked = false; IgnorePatternWhitespace.IsChecked = false; ExplicitCapture.IsChecked = false; // 左侧内容 SeparatorSymbol.Text = Manager.Separator; CommentSymbol.Text = Manager.Comment; // 正则表达式 UsingRex.IsChecked = Manager.UsingRex; if (Manager.UsingRex) { IgnoreCase.IsChecked = Manager.IgnoreCase; Multiline.IsChecked = Manager.Multiline; Singleline.IsChecked = Manager.Singleline; IgnorePatternWhitespace.IsChecked = Manager.IgnorePatternWhitespace; ExplicitCapture.IsChecked = Manager.ExplicitCapture; } // 右侧内容 for (int i = 0; i < Manager.List.Count; i++) { PairListBox.Items.Add(Manager.GetLineInfo(i)); } // 下方信息栏 InfoBar.Text = string.Format("共{0}行,编码格式:{1}", Manager.List.Count, Manager.CurrentEncoding.EncodingName); }
public PlaySongSelect() { Add(modSelect = new ModSelectOverlay { RelativeSizeAxes = Axes.X, Origin = Anchor.BottomCentre, Anchor = Anchor.BottomCentre, Margin = new MarginPadding { Bottom = 50 } }); LeftContent.Add(leaderboard = new Leaderboard { RelativeSizeAxes = Axes.Both, }); }
public PlaySongSelect() { FooterPanels.Add(modSelect = new ModSelectOverlay { RelativeSizeAxes = Axes.X, Origin = Anchor.BottomCentre, Anchor = Anchor.BottomCentre, }); LeftContent.Add(beatmapDetails = new BeatmapDetailArea { RelativeSizeAxes = Axes.Both, Padding = new MarginPadding { Top = 10, Right = 5 }, }); }
public PlaySongSelect() { FooterPanels.Add(modSelect = new ModSelectOverlay { RelativeSizeAxes = Axes.X, Origin = Anchor.BottomCentre, Anchor = Anchor.BottomCentre, }); LeftContent.Add(BeatmapDetails = new BeatmapDetailArea { RelativeSizeAxes = Axes.Both, Padding = new MarginPadding { Top = 10, Right = 5 }, }); BeatmapDetails.Leaderboard.ScoreSelected += s => Push(new Results(s)); }