Matías Cánepa

Resizable: Fix issue with border-box

7

fixes #1979

border-box and dialog resizing problem

3

Having this CSS: ``` * { box-sizing: border-box; } ``` If you try to resize a dialog, then the inner content (ui-dialog-content) is resized wrongly See this fiddle: [http://jsfiddle.net/QBqff/2/](http://jsfiddle.net/QBqff/2/) A...

Inside a dialog when start scrolling it's content, if a selectmenu was opened, the items container shows like a fixed element. Steps: 1) Click on select menu to show items...

Is it possible to change default color? Right now I get a gray folder and I would like to change it to a yellowish color In atom I can do...

Adjust camera movement

3

First of all I must tell you that this is fantastic, congratulations for such a nice work. I have an issue that I'm not sure if can be corrected via...

JS difference for namespaced classes

3

One one hand, there are differences between this theme and Atoms' (we previously agreed that they could be kind of different) but there also differences between the theme itself Here's...

JS difference for namespaced classes

2

One one hand, there are differences between this theme and Atoms' but there also differences between the theme itself Here's a sample image...  I think that: - `BaseObject` shoud...

overview ruler gutter indicators

1

Sorry for this, but the more I use visual studio code, the more I see this differences... just as #131 and #132, these gutters should match ``` "workbench.colorCustomizations": { "editorOverviewRuler.addedBackground":...

just as #131, those gutters should match "workbench.colorCustomizations": { "minimapGutter.addedBackground": "#XXX", "minimapGutter.deletedBackground": "#XXX", "minimapGutter.modifiedBackground": "#XXX", },

gutter indicators

1

This theme should alter [gutter indicators](https://code.visualstudio.com/docs/editor/versioncontrol#_gutter-indicators) as well Here is what I've edited in settings.json to match Atom's colors ``` "workbench.colorCustomizations": { "editorGutter.addedBackground": "#109868", "editorGutter.deletedBackground": "#9A353D", "editorGutter.modifiedBackground": "#948B60", } ```...