Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
G
gargantext-ihaskell
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
gargantext
gargantext-ihaskell
Commits
1aaa152f
Unverified
Commit
1aaa152f
authored
Aug 16, 2021
by
Vaibhav Sagar
Committed by
GitHub
Aug 16, 2021
Browse files
Options
Browse Files
Download
Plain Diff
Merge pull request #1247 from jamesdbrock/replaceOutput
replaceOutput runs without flickering the GUI
parents
dfcbe59c
9f76defd
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
5 additions
and
3 deletions
+5
-3
Widgets.hs
...-display/ihaskell-widgets/src/IHaskell/Display/Widgets.hs
+3
-1
Output.hs
...y/ihaskell-widgets/src/IHaskell/Display/Widgets/Output.hs
+2
-2
No files found.
ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets.hs
View file @
1aaa152f
...
...
@@ -77,4 +77,6 @@ import IHaskell.Display.Widgets.Common as X
import
IHaskell.Display.Widgets.Types
as
X
(
setField
,
getField
,
properties
,
triggerDisplay
,
triggerChange
,
triggerClick
,
triggerSelection
,
triggerSubmit
,
ChildWidget
(
..
),
StyleWidget
(
..
),
WidgetFieldPair
(
..
),
Date
(
..
),
unlink
,
JSONByteString
(
..
))
WidgetFieldPair
(
..
),
Date
(
..
),
unlink
,
JSONByteString
(
..
),
OutputMsg
(
..
))
ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Output.hs
View file @
1aaa152f
...
...
@@ -107,8 +107,8 @@ clearOutput_ widget = widgetClearOutput True >> clearOutput' widget
-- | Replace the currently displayed output for output widget
replaceOutput
::
IHaskellDisplay
a
=>
OutputWidget
->
a
->
IO
()
replaceOutput
widget
d
=
do
clearOutput_
widget
appendDisplay
widget
d
disp
<-
display
d
setField
widget
Outputs
[
OutputData
disp
]
instance
IHaskellWidget
OutputWidget
where
getCommUUID
=
uuid
Write
Preview
Markdown
is supported
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