Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-ide
Commits
0cda3658
Commit
0cda3658
authored
Feb 21, 2003
by
Diederik van Arkel
Browse files
platform dependencies
parent
7c89244a
Changes
2
Hide whitespace changes
Inline
Side-by-side
Util/flexwin.dcl
View file @
0cda3658
...
@@ -7,7 +7,7 @@ class content_size c :: FontMetrics c -> Int
...
@@ -7,7 +7,7 @@ class content_size c :: FontMetrics c -> Int
::
FlexBarState
s
::
FlexBarState
s
::
FlexBarWindow
s
ls
pst
::
FlexBarWindow
s
ls
pst
=
FlexBarWindow
Title
[(
String
,
Maybe
Int
)]
s
=
FlexBarWindow
Title
[(
String
,
Maybe
Int
)]
s
(
!
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
.(*
Picture
->
*
Picture
)))
(
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
.(*
Picture
->
*
Picture
)))
![(
FlexBarState
s
)
->
FlexBarState
s
]
![(
FlexBarState
s
)
->
FlexBarState
s
]
(
R2Id
(
MessageIn
s
)
(
MessageOut
s
))
[
WindowAttribute
*(
ls
,
pst
)]
(
R2Id
(
MessageIn
s
)
(
MessageOut
s
))
[
WindowAttribute
*(
ls
,
pst
)]
...
...
Util/flexwin.icl
View file @
0cda3658
...
@@ -13,6 +13,7 @@ o Sensible size handling
...
@@ -13,6 +13,7 @@ o Sensible size handling
import
StdEnum
,
StdString
,
StdFunc
,
StdList
,
StdBool
,
StdTuple
,
StdMisc
,
StdArray
import
StdEnum
,
StdString
,
StdFunc
,
StdList
,
StdBool
,
StdTuple
,
StdMisc
,
StdArray
import
StdWindow
,
StdId
,
StdProcess
,
StdWindowAttribute
,
StdReceiver
import
StdWindow
,
StdId
,
StdProcess
,
StdWindowAttribute
,
StdReceiver
import
StdPSt
,
StdPicture
,
StdControl
,
StdControlReceiver
import
StdPSt
,
StdPicture
,
StdControl
,
StdControlReceiver
import
Platform
class
content_size
c
::
FontMetrics
c
->
Int
class
content_size
c
::
FontMetrics
c
->
Int
...
@@ -57,16 +58,22 @@ mi2cw (Just w)
...
@@ -57,16 +58,22 @@ mi2cw (Just w)
Title
Title
[(
String
,
Maybe
Int
)]
[(
String
,
Maybe
Int
)]
s
s
(
!
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
.(*
Picture
->
*
Picture
)))
(
s
.
Int
.
Int
[.
Int
]
->
(.
SelectState
.
UpdateState
->
.(*
Picture
->
*
Picture
)))
![(
FlexBarState
s
)
->
FlexBarState
s
]
![(
FlexBarState
s
)
->
FlexBarState
s
]
(
R2Id
(
MessageIn
s
)
(
MessageOut
s
))
(
R2Id
(
MessageIn
s
)
(
MessageOut
s
))
[
WindowAttribute
*(
ls
,
pst
)]
[
WindowAttribute
*(
ls
,
pst
)]
flexFont
=
flexFont
=
PlatformDependant
// Win
{
fName
=
"Courier New"
{
fName
=
"Courier New"
,
fStyles
=
[]
//[BoldStyle]
,
fStyles
=
[]
//[BoldStyle]
,
fSize
=
9
//8
,
fSize
=
9
//8
}
}
// Mac
{
fName
=
"Monaco"
//"Courier"
,
fStyles
=
[]
//[BoldStyle]
,
fSize
=
10
//9
}
instance
Windows
(
FlexBarWindow
s
)
|
content_size
s
instance
Windows
(
FlexBarWindow
s
)
|
content_size
s
where
where
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment