Skip to content

Commit

Permalink
fix custom window frame border display
Browse files Browse the repository at this point in the history
  • Loading branch information
Yatao Li committed Aug 23, 2020
1 parent 002a4ab commit 7856084
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ViewModels/MainWindowViewModel.fs
Original file line number Diff line number Diff line change
Expand Up @@ -103,8 +103,8 @@ type MainWindowViewModel(cfg: config.ConfigObject.Workspace option, ?_maingrid:
member this.WindowState
with get(): WindowState = m_windowState
and set(v) =
this.RaisePropertyChanged("BorderSize")
ignore <| this.RaiseAndSetIfChanged(&m_windowState, v)
this.RaisePropertyChanged("BorderSize")

member this.CustomTitleBarHeight
with get() =
Expand Down

0 comments on commit 7856084

Please sign in to comment.