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.

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

Render offices as dots + names #3163

Merged
merged 3 commits into from
Apr 19, 2018
Merged

Render offices as dots + names #3163

merged 3 commits into from
Apr 19, 2018

Commits on Apr 3, 2018

  1. Render offices as dots + names 

    Rebased to a new master branch
    @andrzej-r
    andrzej-r committed Apr 3, 2018
    Configuration menu
    Copy the full SHA
    1c81877 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2018

  1. Unify rendering of all office points 

    - Use a toned down steelblue colour instead of darkblue
- Removed shop-like offices.
  Two classes of offices left: larger and regular.
  Differ only with filtering options.
- No longer rendering office=yes
    @andrzej-r
    andrzej-r committed Apr 7, 2018
    Configuration menu
    Copy the full SHA
    9e78697 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2018

  1. Render all offices 

    - dots at z17+
- labels of large offices at z17+
- labels of documented office types at z18+
- labels of all other offices at z19+
    @andrzej-r
    andrzej-r committed Apr 17, 2018
    Configuration menu
    Copy the full SHA
    2123354 View commit details
    Browse the repository at this point in the history