You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm switching from the 2005 theme to the 2015 theme, but would like to retain the same padding style that 2005 uses. That is to say I want the sides and bottom to be 0 pixels padding (right at the edge of the client space) and the top to have a few pixels of padding between the top of the tabs and the edge of the client space.
This is 2005 theme spacing:
The default 2013+ padding value for Theme.Measures.DockPadding is 6. If I set the padding to 0 so the sides are filled to the client space, the tabs look smooshed up on the toolstrip. This is what I get when I set the Theme.Measures.DockPadding = 1.
From playing with it, there's a property in the VS2013DockPaneStrip class called DocumentTabGapTop that will do what I'm wanting. But it appears to be a property that's only read from (with default value of 0) and is private without any way of programmatically changing it outside of setting the return value to be a constant.
Is there a recommended way of going about making this work the way I want?
The text was updated successfully, but these errors were encountered:
I'm switching from the 2005 theme to the 2015 theme, but would like to retain the same padding style that 2005 uses. That is to say I want the sides and bottom to be 0 pixels padding (right at the edge of the client space) and the top to have a few pixels of padding between the top of the tabs and the edge of the client space.
This is 2005 theme spacing:
The default 2013+ padding value for
Theme.Measures.DockPadding
is 6. If I set the padding to 0 so the sides are filled to the client space, the tabs look smooshed up on the toolstrip. This is what I get when I set theTheme.Measures.DockPadding = 1
.From playing with it, there's a property in the
VS2013DockPaneStrip
class calledDocumentTabGapTop
that will do what I'm wanting. But it appears to be a property that's only read from (with default value of 0) and is private without any way of programmatically changing it outside of setting the return value to be a constant.Is there a recommended way of going about making this work the way I want?
The text was updated successfully, but these errors were encountered: