search

brackets-archive / bracketsIssues

Archive of issues in brackets.
0 stars 0 forks source link

[CLOSED] Extension Manager, Rounded Tabs? #4193

Open core-ai-bot opened 3 years ago

core-ai-bot commented 3 years ago

Issue by TuckerWhitehouse Sunday Jul 21, 2013 at 20:15 GMT Originally opened as https://github.com/adobe/brackets/issues/4529

I can't seem to find if their was any discussion about this, but the news tabs in the Extension Manager all have rounded corners at the top (which looks odd since they sit flush against the top).

screen shot 2013-07-21 at 3 58 06 pm

The rule is in src/styles/bootstrap/navs.less#L126.

One possible solution:

.modal-header > .nav-tabs > li > a {
    .border-radius(0 0 0 0);
}
.modal-header > .nav-tabs > li > a:first-child {
    .border-radius(4px 4px 0 0);
}

Also, they have a top border which gives them an odd inset:

.modal-header > .nav-tabs > li > a {
    border-top: 0;
}

Which results in screen shot 2013-07-21 at 4 10 19 pm

@larz0, You seem to be the UI guy, opinion?

core-ai-bot commented 3 years ago

Comment by larz0 Sunday Jul 21, 2013 at 20:21 GMT

@TuckerWhitehouse there's no discussion as this is based on the Topcoat visual language. Tabs have rounded corners in Brackets like Edge Reflow and CSS Filter Lab.