Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/scala/16.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
Replace WinShell“;查找”;函数在latex文档上不起作用_Replace_Find_Latex_Editor - Fatal编程技术网

Replace WinShell“;查找”;函数在latex文档上不起作用

Replace WinShell“;查找”;函数在latex文档上不起作用,replace,find,latex,editor,Replace,Find,Latex,Editor,我正在使用winshell作为我的latex编辑器。它运行良好,过去没有任何问题,但并非因为某种原因,“查找”功能停止工作。无论是使用ctrl+f命令还是工具栏中的“查找->搜索”功能,它都不起作用 我试着重新启动和更新电脑,但这只是偶尔的事,有那么一会儿,这个功能又恢复了,然后又消失了 也许有人遇到了这个问题,知道解决方法,因为这对我来说非常重要,因为我正在写我的学士学位论文,没有find函数是很困难的

我正在使用winshell作为我的latex编辑器。它运行良好,过去没有任何问题,但并非因为某种原因,“查找”功能停止工作。无论是使用ctrl+f命令还是工具栏中的“查找->搜索”功能,它都不起作用

我试着重新启动和更新电脑,但这只是偶尔的事,有那么一会儿,这个功能又恢复了,然后又消失了

也许有人遇到了这个问题,知道解决方法,因为这对我来说非常重要,因为我正在写我的学士学位论文,没有find函数是很困难的