|
| 1 | +<UserControlx:Class="Microsoft.VisualStudio.FSharp.UIResources.NavStyles" |
| 2 | +x:ClassModifier="internal" |
| 3 | +xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation" |
| 4 | +xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml" |
| 5 | +xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006" |
| 6 | +xmlns:d="http://schemas.microsoft.com/expression/blend/2008" |
| 7 | +xmlns:local="clr-namespace:Microsoft.VisualStudio.FSharp.UIResources" |
| 8 | +mc:Ignorable="d" |
| 9 | +d:DesignHeight="450"d:DesignWidth="800"> |
| 10 | + <UserControl.Resources> |
| 11 | + <SolidColorBrushx:Key="inherited_brush"Color="{Binding Path=Foreground.Color, RelativeSource={RelativeSource Mode=FindAncestor, AncestorType=Underline}}" /> |
| 12 | + <SolidColorBrushx:Key="inherited_semi_brush"Opacity="0.28"Color="{Binding Path=Foreground.Color, RelativeSource={RelativeSource Mode=FindAncestor, AncestorType=Underline}}" /> |
| 13 | + <DashStylex:Key="dash_dashstyle"Dashes="5 5"/> |
| 14 | + <DashStylex:Key="dot_dashstyle"Dashes="1 5"/> |
| 15 | + <Penx:Key="dot_pen"DashStyle="{StaticResource dot_dashstyle}"Brush="{StaticResource inherited_brush}"/> |
| 16 | + <Penx:Key="solid_pen"Brush="{StaticResource inherited_semi_brush}"/> |
| 17 | + <Penx:Key="mouseover_pen"Brush="{StaticResource inherited_brush}"/> |
| 18 | + <Penx:Key="dash_pen"DashStyle="{StaticResource dash_dashstyle}"Brush="{StaticResource inherited_semi_brush}"/> |
| 19 | + <TextDecorationCollectionx:Key="solid_deco"> |
| 20 | + <TextDecorationPenOffset="1"Pen="{StaticResource solid_pen}"/> |
| 21 | + </TextDecorationCollection> |
| 22 | + <TextDecorationCollectionx:Key="dash_deco"> |
| 23 | + <TextDecorationPenOffset="1"Pen="{StaticResource dash_pen}"/> |
| 24 | + </TextDecorationCollection> |
| 25 | + <TextDecorationCollectionx:Key="dot_deco"> |
| 26 | + <TextDecorationPenOffset="1"Pen="{StaticResource dot_pen}"/> |
| 27 | + </TextDecorationCollection> |
| 28 | + <TextDecorationCollectionx:Key="full_deco"> |
| 29 | + <TextDecorationPenOffset="1"Pen="{StaticResource mouseover_pen}" /> |
| 30 | + </TextDecorationCollection> |
| 31 | + <Stylex:Key="base_sourcelink"TargetType="Underline" > |
| 32 | + <Style.Triggers> |
| 33 | + <TriggerProperty="IsMouseOver"Value="true"> |
| 34 | + <SetterProperty="TextDecorations"Value="{StaticResource full_deco}"/> |
| 35 | + </Trigger> |
| 36 | + </Style.Triggers> |
| 37 | + </Style> |
| 38 | + <Stylex:Key="solid_underline"TargetType="Underline"BasedOn="{StaticResource base_sourcelink}"> |
| 39 | + <SetterProperty="TextDecorations"Value="{StaticResource solid_deco}"/> |
| 40 | + </Style> |
| 41 | + <Stylex:Key="dash_underline"TargetType="Underline"BasedOn="{StaticResource base_sourcelink}"> |
| 42 | + <SetterProperty="TextDecorations"Value="{StaticResource dash_deco}"/> |
| 43 | + </Style> |
| 44 | + <Stylex:Key="dot_underline"TargetType="Underline"BasedOn="{StaticResource base_sourcelink}"> |
| 45 | + <SetterProperty="TextDecorations"Value="{StaticResource dot_deco}"/> |
| 46 | + </Style> |
| 47 | + <Stylex:Key="no_underline"TargetType="Underline"BasedOn="{StaticResource base_sourcelink}"> |
| 48 | + <SetterProperty="TextDecorations"Value="{x:Null}"/> |
| 49 | + </Style> |
| 50 | + </UserControl.Resources> |
| 51 | +</UserControl> |