blob: 3554f559b73cadd7d3953d68655e318cfb81a722 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
using System;
using System.Configuration;
namespace nlatexdb
{
[ConfigurationCollection( typeof( LatexCharReplaceElement ) )]
public class LatexCharReplaceCollection : ConfigurationElementCollection
{
protected override ConfigurationElement CreateNewElement()
{
return new LatexCharReplaceElement();
}
protected override object GetElementKey( ConfigurationElement element )
{
return ( (LatexCharReplaceElement)( element ) ).Char;
}
public LatexCharReplaceElement this[int idx ]
{
get
{
return (LatexCharReplaceElement) BaseGet(idx);
}
}
}
public class LatexCharReplaceElement : ConfigurationElement
{
[ConfigurationProperty("char", DefaultValue="", IsKey=true, IsRequired=true)]
public string Char
{
get
{
return ((string) (base["char"]));
}
set
{
base["char"] = value;
}
}
[ConfigurationProperty( "replace", DefaultValue = "", IsKey = false, IsRequired = true )]
public string Replace
{
get
{
return ( (string)( base[ "replace" ] ) );
}
set
{
base[ "replace" ] = value;
}
}
}
}
|