This repository is a mirror!

Differences From Artifact [1804183bc9]:

• File doc/help.css — part of check-in [beb4f53ea2] at 2015-05-19 19:07:10 on branch trunk — Last preparations for official release. Edited WhatsNew.txt. Added new article in the documentation, about OOP programming with FreshLib. The css file for the articles is changed a little. (user: johnfound size: 3005)

To Artifact [067262743b]:

• File doc/help.css — part of check-in [e5dde43d53] at 2015-07-10 10:14:29 on branch trunk — Fixed bug with the selection indent/unindent in the source editor.

  Fixed a bug with the toolbar tooltips. With some probability this is the bug reported several times for Windows 8.1

  Some help files edits. (user: johnfound size: 3172)

113
114
115
116
117
118
119
120
121
122
123
124
125


126
127
128
129
130
131
132
133
134
135
136














137
138
139
140
141
142
143

  margin: 0.5em;

  font-family: "Courier New", monospace;
  font-size: 10pt;
  font-weight: bold;

  overflow: auto;
  max-height: 50em;
  max-width: 150%;
  white-space: pre;

  background-color: white;
  border: 2px solid gray;


}


img.txt {
  margin-left:auto;
  margin-right: auto;
  display: block;
  clear: both;
  max-width: 100%;
}
















div.bq {
  border: 0px solid #808080;
  padding: 1em;
  padding-left: 2em;
  margin: 0.5em;

<





>
>











>
>
>
>
>
>
>
>
>
>
>
>
>
>

113
114
115
116
117
118
119

120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158

  margin: 0.5em;

  font-family: "Courier New", monospace;
  font-size: 10pt;
  font-weight: bold;

  overflow: auto;

  max-width: 150%;
  white-space: pre;

  background-color: white;
  border: 2px solid gray;

  clear: left;
}


img.txt {
  margin-left:auto;
  margin-right: auto;
  display: block;
  clear: both;
  max-width: 100%;
}

img.txt1 {
  clear: left;
  float: left;
  display: block;
  margin: 1em;
}


img.txt2 {
  clear: right;
  float: right;
  display: block;
  margin: 1em;
}

div.bq {
  border: 0px solid #808080;
  padding: 1em;
  padding-left: 2em;
  margin: 0.5em;