Skip to content
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.

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

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

Merged
merged 6 commits into from
May 18, 2017

Conversation

lukebarnard1
Copy link
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).
@@ -55,6 +55,12 @@ limitations under the License.
padding-right: 8px;
}

.mx_Dropdown_option div {
overflow: hidden;
Copy link
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