Refresh item after addon is done

This commit is contained in:
eikek
2022-05-18 00:23:46 +02:00
parent 5abbe92f2b
commit 29a5894884
15 changed files with 123 additions and 19 deletions

View File

@ -11,6 +11,7 @@ port module Ports exposing
, printElement
, receiveCheckQueryResult
, receiveServerEvent
, refreshFileView
, removeAccount
, setAccount
, setUiTheme
@ -54,6 +55,11 @@ port printElement : String -> Cmd msg
port receiveWsMessage : (D.Value -> msg) -> Sub msg
{-| Given an ID of an element that is either EMBED or IFRAME the js will reload its src
-}
port refreshFileView : String -> Cmd msg
--- Higher level functions based on ports