@@ -15,15 +15,15 @@ object SandboxSettings {
1515 button(
1616 " Register URL protocol handler: web" ,
1717 onClick --> { _ =>
18- val n = dom.window.navigator. asInstanceOf [dom. NavigatorProtocolHandler ]
18+ val n = dom.window.navigator
1919 n.registerProtocolHandler(" did" , " #/resolver/%s" )
2020 println(""" registerProtocolHandler("did", "#/resolver/%s")""" )
2121 },
2222 ),
2323 button(
2424 " Unregister URL protocol handler: web" ,
2525 onClick --> { _ =>
26- val n = dom.window.navigator. asInstanceOf [dom. NavigatorProtocolHandler ]
26+ val n = dom.window.navigator
2727 n.unregisterProtocolHandler(" did" , " #/resolver/%s" )
2828 println(""" unregisterProtocolHandler("did", "#/resolver/%s")""" )
2929 },
@@ -41,15 +41,15 @@ object SandboxSettings {
4141 button(
4242 " Register URL protocol handler: web+did" ,
4343 onClick --> { _ =>
44- val n = dom.window.navigator. asInstanceOf [dom. NavigatorProtocolHandler ]
44+ val n = dom.window.navigator
4545 n.registerProtocolHandler(" web+did" , " #/resolver/%s" )
4646 println(""" registerProtocolHandler("web+did", "#/resolver/%s")""" )
4747 },
4848 ),
4949 button(
5050 " Unregister URL protocol handler: web+did" ,
5151 onClick --> { _ =>
52- val n = dom.window.navigator. asInstanceOf [dom. NavigatorProtocolHandler ]
52+ val n = dom.window.navigator
5353 n.unregisterProtocolHandler(" web+did" , " #/resolver/%s" )
5454 println(""" unregisterProtocolHandler("web+did", "#/resolver/%s")""" )
5555 },
0 commit comments