Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/jquery-ui/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
更改WebSharper.JQueryUI的依赖项以本地加载jquery-ui.js_Jquery Ui_F#_Websharper - Fatal编程技术网

更改WebSharper.JQueryUI的依赖项以本地加载jquery-ui.js

更改WebSharper.JQueryUI的依赖项以本地加载jquery-ui.js,jquery-ui,f#,websharper,Jquery Ui,F#,Websharper,我正在使用JQueryUI扩展的WebSharper sitelet上写作。WebSharper sitelet生成的HTML如下所示: ... 我在开发时经常没有互联网,所以我真的很想在开发服务器上提供jqueryui.js。也就是说,我更喜欢这个: ... 用户可以通过在Web.config中设置适当的appSetting来实现这一点,但我为文档中列出的键设置的值似乎对输出没有任何影响 我正在使用(NuGet版本)WebSharper 3.0.54.140和WebSharper.JQ

我正在使用JQueryUI扩展的WebSharper sitelet上写作。WebSharper sitelet生成的HTML如下所示:


...
我在开发时经常没有互联网,所以我真的很想在开发服务器上提供
jqueryui.js
。也就是说,我更喜欢这个:


...
用户可以通过在
Web.config
中设置适当的
appSetting
来实现这一点,但我为文档中列出的键设置的值似乎对输出没有任何影响

我正在使用(NuGet版本)WebSharper 3.0.54.140和WebSharper.JQueryUI 3.0.45.241


如何强制WebSharper输出指向服务器本地资源的链接?

文档中确实存在错误。要使用的键是资源类型的完全限定名,因此对于WebSharper.JQueryUI,它应该是:



编辑:刚刚修复了文档。

谢谢!出于好奇,“…Dependencies+JQueryUIJs”中的加号是什么?它是嵌套类型的IL表示法。在这里,
Dependencies
是一个F#模块,因此从运行时的角度来看,
JQueryUIJs
JQueryUICss
是嵌套类型。如果键入
typeof.FullName在F#interactive中,您将获得+。