Skip to content
This repository was archived by the owner on Feb 25, 2025. It is now read-only.

Rename WindowPadding to ViewPadding #39737

Merged
auto-submit merged 2 commits into from
Feb 19, 2023
Merged

Rename WindowPadding to ViewPadding #39737

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ec138c5
Rename WindowPadding to ViewPadding
goderbauer Feb 18, 2023
653af6b
webui
goderbauer Feb 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
webui
  • Loading branch information
@goderbauer
goderbauer committed Feb 18, 2023
commit 653af6b19bbb6818fe4c88692a5f9af6578c5701
2 changes: 2 additions & 0 deletions lib/web_ui/lib/platform_dispatcher.dart
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -395,6 +395,8 @@ abstract class ViewPadding {
}
}

typedef WindowPadding = ViewPadding;

class DisplayFeature {
const DisplayFeature({
required this.bounds,
Expand Down