[WIP] Nav toolbar - impements #9418#31162

Closed

mihailik wants to merge 13 commits intomicrosoft:masterfrom mihailik:nav-toolbar

+445-14

Commits on Nov 24, 2017

Definitions for edge widgets in editorBrowser.
mihailik
committed

Commits on Nov 27, 2017

Commits on Nov 29, 2017

Introducing contentTop in EditorLayoutInfo (previously had only contentLeft,contentWidth,contentHeight).
mihailik
committed

Commits on Dec 2, 2017

Propagate paddingTop and paddingBottom across through layers of 'configuration'.
mihailik
committed
Whitespace.
mihailik
committed
Cache edge padding, retrieve at the right moment.
mihailik
committed
Handle configuration being created before codeEditorWidget completes.
mihailik
committed
Adjust content from the top by this._contentTop - to account for top edge padding.
mihailik
committed
Invalidate edge padding cache on any edge widget add/remove.
mihailik
committed
Edges' DOM node should sit inside editor, also correctly assign contentTop in options.compute.
mihailik
committed
Line numbers to be pushed down by the top edge widgets.
mihailik
committed