Last change
on this file since 13777 was
12762,
checked in by aballeit, 9 years ago
|
#2283 GUI updates, Tree-chart, MCTS Version 2 (prune leaves)
|
File size:
1.3 KB
|
Line | |
---|
1 | using System;
|
---|
2 | using System.Windows;
|
---|
3 | using System.Windows.Media;
|
---|
4 | using System.Collections.Generic;
|
---|
5 |
|
---|
6 | namespace SharpVectors.Renderers.Wpf
|
---|
7 | {
|
---|
8 | public class WpfFontFamilyInfo
|
---|
9 | {
|
---|
10 | public readonly static WpfFontFamilyInfo Empty = new WpfFontFamilyInfo(null,
|
---|
11 | FontWeights.Normal, FontStyles.Normal, FontStretches.Normal);
|
---|
12 |
|
---|
13 | private FontFamily _family;
|
---|
14 | private FontWeight _weight;
|
---|
15 | private FontStyle _style;
|
---|
16 | private FontStretch _stretch;
|
---|
17 |
|
---|
18 | public WpfFontFamilyInfo(FontFamily family, FontWeight weight,
|
---|
19 | FontStyle style, FontStretch stretch)
|
---|
20 | {
|
---|
21 | _family = family;
|
---|
22 | _weight = weight;
|
---|
23 | _style = style;
|
---|
24 | _stretch = stretch;
|
---|
25 | }
|
---|
26 |
|
---|
27 | public bool IsEmpty
|
---|
28 | {
|
---|
29 | get
|
---|
30 | {
|
---|
31 | return (_family == null);
|
---|
32 | }
|
---|
33 | }
|
---|
34 |
|
---|
35 | public FontFamily Family
|
---|
36 | {
|
---|
37 | get { return _family; }
|
---|
38 | }
|
---|
39 |
|
---|
40 | public FontWeight Weight
|
---|
41 | {
|
---|
42 | get { return _weight; }
|
---|
43 | }
|
---|
44 |
|
---|
45 | public FontStyle Style
|
---|
46 | {
|
---|
47 | get { return _style; }
|
---|
48 | }
|
---|
49 |
|
---|
50 | public FontStretch Stretch
|
---|
51 | {
|
---|
52 | get { return _stretch; }
|
---|
53 | }
|
---|
54 | }
|
---|
55 | }
|
---|
Note: See
TracBrowser
for help on using the repository browser.