Skip to content
GitLab
Menu
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
b18474d9
Commit
b18474d9
authored
Oct 17, 2003
by
Ronny Wichers Schreur
🏘
Browse files
johnvg: make window wider
parent
15463c17
Changes
1
Hide whitespace changes
Inline
Side-by-side
TimeProfile/timeprofiler.icl
View file @
b18474d9
...
...
@@ -64,7 +64,7 @@ where
""
->
ApplicationName
nm
->
nm
#
(_,
ps
)
=
openWindow
Void
(
FlexBarWindow
title
info
info`
profileLook
profileFuns
recId
[
WindowViewSize
{
w
=
40
0
,
h
=
400
}
[
WindowViewSize
{
w
=
98
0
,
h
=
400
}
// , WindowKeyboard keyfilter Able (keyfunction (noLS(reopenfun closeId printId recId)))
,
WindowId
winId
])
ps
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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