Skip to content

Fix #83644#86619

Merged
roblourens merged 8 commits intomicrosoft:masterfrom
romainHainaut:master
Dec 11, 2019
Merged

Fix #83644#86619
roblourens merged 8 commits intomicrosoft:masterfrom
romainHainaut:master

Conversation

@romainHainaut
Copy link
Contributor

This PR fixes #83644 , upWard and downWard

@roblourens roblourens added this to the December 2019 milestone Dec 9, 2019
Copy link
Member

@roblourens roblourens left a comment

Choose a reason for hiding this comment

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

This is ok but please add a comment to the matching line in the css file, mentioning that the height is also used in JS. And please extract the value 24 to a constant so it is just referenced in one place. I want to make it easier to make sure that these stay in sync.

@msftclas
Copy link

msftclas commented Dec 9, 2019

CLA assistant check
All CLA requirements met.

@romainHainaut
Copy link
Contributor Author

ugh , I don't understand what is the problem with the "CI / linux (pull_request) "
how can my change make the install dependencies not work on linux?

export const FolderFocusKey = new RawContextKey<boolean>('folderMatchFocus', false);
export const MatchFocusKey = new RawContextKey<boolean>('matchFocus', false);

export const OneLineHeight = 24;
Copy link
Member

Choose a reason for hiding this comment

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

You can leave this in searchWidget.ts, it doesn't really apply to all of "search"

Copy link
Contributor Author

Choose a reason for hiding this comment

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

alright thanks

max-height: 134px;
}

/* Warning the height is also use in searchWidget.ts as a constant*/
Copy link

Choose a reason for hiding this comment

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

two minor suggestions:

  • is also used
  • replace 'Warning the height' with 'NOTE: height'

Copy link
Contributor Author

Choose a reason for hiding this comment

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

yes, good idea and thanks for the spelling error

Copy link
Member

@roblourens roblourens left a comment

Choose a reason for hiding this comment

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

Thanks!

@roblourens roblourens merged commit b099d57 into microsoft:master Dec 11, 2019
roblourens added a commit that referenced this pull request Dec 11, 2019
@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.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Cannot edit search string effectively on Windows with up arrow

4 participants