Skip to content

Add square flag pngs /w genflags.sh script#3953

Merged
lukebarnard1 merged 6 commits intodevelopfrom
luke/improve-country-dd-3-square-flags
May 18, 2017
Merged

Add square flag pngs /w genflags.sh script#3953
lukebarnard1 merged 6 commits intodevelopfrom
luke/improve-country-dd-3-square-flags

Conversation

@lukebarnard1
Copy link
Copy Markdown
Contributor

@lukebarnard1 lukebarnard1 commented May 18, 2017

This uses the github.com:googlei18n/region-flags and imagemagick to generate 27x27 flag pngs. The flags have a 1px #e0e0e0 border and transparent padding such that each flag is of the same height (17px including the border).

2017-05-18-114209_338x272_scrot

For #3895

Luke Barnard added 6 commits May 18, 2017 11:25
This uses the github.com:googlei18n/region-flags and imagemagick to generate 27x27 flag pngs. The flags have a 1px #e0e0e0 border and transparent padding such that each flag is of the same height (17px including the border).
}

.mx_Dropdown_option div {
overflow: hidden;
Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

This probably should have gone in another PR because it's unrelated.

@dbkr dbkr assigned lukebarnard1 and unassigned dbkr May 18, 2017
@lukebarnard1 lukebarnard1 merged commit 01a15b2 into develop May 18, 2017
@t3chguy t3chguy deleted the luke/improve-country-dd-3-square-flags branch May 12, 2022 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants