Eclipse编辑器中的HTML标记悬停

时间:2017-03-23 12:17:38

标签: html eclipse hover

我在Eclipse中为自己的语言创建了一个编辑器。在这种语言中,有类似javadoc的文档注释。当鼠标光标位于注释函数的名称上方时,我使用类IInformationPresenter来显示此文档。

问题是我的文档包含基本的HTML标记(列表,表格,粗体),但悬停只显示纯文本。例如:

a screenshot of an example documentation showed in a hover

当然,我希望它看起来像这样:

an image with a properly formatted hover

我确信悬停中的这种文本格式可以通过eclipse处理,例如Java编辑器就是这么做的。

不幸的是,到目前为止,我发现的唯一线索是使用课程 <?php error_reporting(0); // 1. Create a database connection $connection = mysql_connect("localhost","eparktec_mwakale1","AqTtl7qFBuJ4"); if (!$connection) { die("Database connection failed: " . mysql_error()); } // 2. Select a database to use $db_select = mysql_select_db("eparktec_mwakale",$connection); if (! $db_select) { die("Database selection failed: " . mysql_error()); } ?> ,我无法找到有关该课程的作用或如何使用它的任何信息。有人可以帮忙吗?

1 个答案:

答案 0 :(得分:2)

您的import random import csv import os.path from time import gmtime, strftime filename = '/home/robdata/collection1.dat' file_exists = os.path.isfile(filename) v = random.randint(0, 100) with open(filename, "a") as csvfile: headers = ['DATE', 'value'] writer = csv.DictWriter(csvfile, delimiter=',', lineterminator='\n',fieldnames=headers) if not file_exists: writer.writeheader() # file doesn't exist yet, write a header writer.writerow({'DATE': strftime("%Y-%m-%d %H:%M:%S", gmtime()), 'value': v}) 类应该实现ITextHover并返回可以处理HTML的ITextHoverExtension。标准IInformationControl处理简单的HTML。

示例是文本悬停在标准文本编辑器中:

DefaultInformationControl