Check-in [bc7e0a156b]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Add version to GUI spash screen
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:bc7e0a156bce375f235944009e137211fcc326a2
User & Date: bernd 2019-01-03 18:12:17
Context
2019-01-04
22:07
Minor changes due to recent MINOS2 changes check-in: ebf099f318 user: bernd tags: trunk
2019-01-03
18:12
Add version to GUI spash screen check-in: bc7e0a156b user: bernd tags: trunk
18:01
Bump version number check-in: cda45ac841 user: bernd tags: trunk, 0.8.5-20190103
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to gui.fs.

187
188
189
190
191
192
193

194
195
196
197
198
199
200

{{ login-bg-col# pres-frame dark-blue# ' dark-blue >body f!
    {{
	{{ glue*lll± }}glue }}v
	' net2o-logo "doc/net2o.png" 0.666e }}image-file Constant net2o-glue /center
	!i18n l" net2o GUI" /title
	!lit

	{{
	    {{
		glue*ll }}glue
		\large "👤" }}text \normal
		{{
		    glue*l pw-bg-col# font-size# f2/ f2/ }}frame dup .button3
		    transp# to x-color







>







187
188
189
190
191
192
193
194
195
196
197
198
199
200
201

{{ login-bg-col# pres-frame dark-blue# ' dark-blue >body f!
    {{
	{{ glue*lll± }}glue }}v
	' net2o-logo "doc/net2o.png" 0.666e }}image-file Constant net2o-glue /center
	!i18n l" net2o GUI" /title
	!lit
	\footnote cbl dark-blue net2o-version }}text /center
	{{
	    {{
		glue*ll }}glue
		\large "👤" }}text \normal
		{{
		    glue*l pw-bg-col# font-size# f2/ f2/ }}frame dup .button3
		    transp# to x-color