Skip to content

enable custom title/menus on linux #62866

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 12, 2018
Merged

enable custom title/menus on linux #62866

merged 1 commit into from
Nov 12, 2018

Conversation

sbatten
Copy link
Member

@sbatten sbatten commented Nov 9, 2018

resolves #62727

@sbatten sbatten added this to the November 2018 milestone Nov 9, 2018
@sbatten sbatten self-assigned this Nov 9, 2018
@sbatten sbatten requested review from joaomoreno and bpasero November 9, 2018 19:25
@joaomoreno
Copy link
Member

Love itttt! <3

joaomoreno
joaomoreno approved these changes Nov 12, 2018
View reviewed changes
Copy link
Member

@joaomoreno joaomoreno left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes please!

@joaomoreno
Copy link
Member

@sbatten Since @bpasero is out, I suggest to just merge this in.

@sbatten sbatten merged commit f9a9e4e into microsoft:master Nov 12, 2018
@sbatten sbatten deleted the customOnLinux branch November 12, 2018 15:52
@rainerklier
Copy link

hate it!

@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@joaomoreno joaomoreno joaomoreno approved these changes

@bpasero bpasero Awaiting requested review from bpasero

Assignees

@sbatten sbatten

Labels
None yet
Projects
None yet
Milestone
November 2018
Development

Successfully merging this pull request may close these issues.

Switch to custom menus in Linux by default
3 participants
@sbatten @joaomoreno @rainerklier