我不确定这是一个Visual Studio代码问题还是愚蠢的问题,因为我对这两个问题都是新手。加载Visual Studio代码,然后从Visual Studio代码中加载Dafny的扩展。我得到了下面的错误信息,我知道你可以明确地告诉Visual Studio在哪里可以找到mono,但我不知道mono在哪里? ? verify all1
all verifyfile:///Users/dstr/GoogleDrive/Teaching/SWEN324/FreshStart/fresh.dfy
The verifyer process ended with code 0
Loca
有关代码,请参阅此。
当浏览器最小化时,表溢出在div外部。还注意到我导入的tableutils.js有以下代码,
fixHeaderOptions : {
width : 600; //i commented out this so table width is not set but still table overflow.
}
我的期望输出是,只有当浏览器最小化,并且在浏览器最大化时,#content 区域(带有灰色背景颜色的div )上不溢出,我才希望在表区域上有一个滚动条;我不希望在#content 上显示任何滚动条。
非常感谢你们的任何帮助。