思源使用 PDF.js 来阅读 PDF。
compressed.tracemonkey-pldi-09.pdf (mozilla.github.io)
此网站是 PDF.js 的网页阅读界面，可以拖拽本地 pdf 阅读。
因而思源也继承了许多 pdf.js 的问题，如
字体渲染发虚
左思源/pdf.js，右 edge
文字选中/建立批注不整齐
上思源，下 zotero
文字选中错位
pdf.js 官方回应是正在试图/暂时无法解决。
还有一些问题我提过 issue 后得到了解决，如粘贴到文档后自动处理删除换行符，切换主题或拖动标签页导致 pdf 跳页……
但上面三个问题都暂时无法解决，可能只能让 pdf.js 更新或者思源换阅读器。
群里聊天时觉得似乎只有我在逆流而上，使用思源阅读格式参差不齐的 pdf 和论文，而不是使用专业 pdf 阅读软件阅读 pdf 再复制批注到思源整理。
很多 pdf 阅读问题都因此而没有被发现和反馈从而被解决，如一个拖了很久才被发现和解决的上下方向键不能移动 pdf 的问题。
所以想用本贴来收集一些使用体验和诉求，也可以来交流使用技巧或提问。
有汇总！路径：\data\assets，有跟 pdf 名对应的，扩展名为“.sya"的文件，里面记录了：
标记过的
可以用这个网站可视化查看 Editor | JSON Visio (omute.net)
求建议，我的 pdf 标注由于使用了浅色系，从而在显示背景状态下不会太刺眼。
上定制主题，下思源默认主题
但隐藏背景后颜色显示效果就不明显了，
有些尴尬，试图加粗边框可这样会使得显示背景的批注过粗，因为这个边框是向外延展的。暂时没想到其他样式解决。
链滴是一个记录生活的地方。
记录生活，连接点滴
SendCloud 由搜狐武汉研发中心孵化的项目，是致力于为开发者提供高质量的触发邮件服务的云端邮件发送平台，为开发者提供便利的 API 接口来调用服务，让邮件准确迅速到达用户收件箱并获得强大的追踪数据。
CSS（Cascading Style Sheet）“层叠样式表”是用于控制网页样式并允许将样式信息与网页内容分离的一种标记性语言。
Oracle（甲骨文）公司，全称甲骨文股份有限公司（甲骨文软件系统有限公司），是全球最大的企业级软件公司，总部位于美国加利福尼亚州的红木滩。1989 年正式进入中国市场。2013 年，甲骨文已超越 IBM，成为继 Microsoft 后全球第二大软件公司。
微服务架构是一种架构模式，它提倡将单一应用划分成一组小的服务。服务之间互相协调，互相配合，为用户提供最终价值。每个服务运行在独立的进程中。服务于服务之间才用轻量级的通信机制互相沟通。每个服务都围绕着具体业务构建，能够被独立的部署。
JRebel 是一款 Java 虚拟机插件，它使得 Java 程序员能在不进行重部署的情况下，即时看到代码的改变对一个应用程序带来的影响。
子曰：“工欲善其事，必先利其器。”
正则表达式（Regular Expression）使用单个字符串来描述、匹配一系列遵循某个句法规则的字符串。
LeetCode（力扣）是一个全球极客挚爱的高质量技术成长平台，想要学习和提升专业能力从这里开始，充足技术干货等你来啃，轻松拿下 Dream Offer！
Bug 本意是指臭虫、缺陷、损坏、犯贫、窃听器、小虫等。现在人们把在程序中一些缺陷或问题统称为 bug（漏洞）。
Scala 是一门多范式的编程语言，集成面向对象编程和函数式编程的各种特性。
锤子科技（Smartisan）成立于 2012 年 5 月，是一家制造移动互联网终端设备的公司，公司的使命是用完美主义的工匠精神，打造用户体验一流的数码消费类产品（智能手机为主），改善人们的生活质量。
OpenStack 是一个云操作系统，通过数据中心可控制大型的计算、存储、网络等资源池。所有的管理通过前端界面管理员就可以完成，同样也可以通过 Web 接口让最终用户部署资源。
Latke 是一款以 JSON 为主的 Java Web 框架。
Web Components 是 W3C 定义的标准，它给了前端开发者扩展浏览器标签的能力，可以方便地定制可复用组件，更好的进行模块化开发，解放了前端开发者的生产力。
HBase 是一个分布式的、面向列的开源数据库，该技术来源于 Fay Chang 所撰写的 Google 论文 “Bigtable：一个结构化数据的分布式存储系统”。就像 Bigtable 利用了 Google 文件系统所提供的分布式数据存储一样，HBase 在 Hadoop 之上提供了类似于 Bigtable 的能力。
Android 是一种以 Linux 为基础的开放源码操作系统，主要使用于便携设备。2005 年由 Google 收购注资，并拉拢多家制造商组成开放手机联盟开发改良，逐渐扩展到到平板电脑及其他领域上。
CSDN (Chinese Software Developer Network) 创立于 1999 年，是中国的 IT 社区和服务平台，为中国的软件开发者和 IT 从业者提供知识传播、职业发展、软件开发等全生命周期服务，满足他们在职业发展中学习及共享知识和信息、建立职业发展社交圈、通过软件开发实现技术商业化等刚性需求。
星期六到星期天晚，实行五天工作制后，指每周的最后两天。再过几年可能就是三天了。
jsoup 是一款 Java 的 HTML 解析器，可直接解析某个 URL 地址、HTML 文本内容。它提供了一套非常省力的 API，可通过 DOM，CSS 以及类似于 jQuery 的操作方法来取出和操作数据。
frp 是一个可用于内网穿透的高性能的反向代理应用，支持 TCP、UDP、 HTTP 和 HTTPS 协议。
JVM（Java Virtual Machine）Java 虚拟机是一个微型操作系统，有自己的硬件构架体系，还有相应的指令系统。能够识别 Java 独特的 .class 文件（字节码），能够将这些文件中的信息读取出来，使得 Java 程序只需要生成 Java 虚拟机上的字节码后就能在不同操作系统平台上进行运行。
各种网址链接、内容导航。
微软是一家美国跨国科技公司，也是世界 PC 软件开发的先导，由比尔·盖茨与保罗·艾伦创办于 1975 年，公司总部设立在华盛顿州的雷德蒙德（Redmond，邻近西雅图）。以研发、制造、授权和提供广泛的电脑软件服务业务为主。
Flutter 是谷歌的移动 UI 框架，可以快速在 iOS 和 Android 上构建高质量的原生用户界面。 Flutter 可以与现有的代码一起工作，它正在被越来越多的开发者和组织使用，并且 Flutter 是完全免费、开源的。
Python 是一种面向对象、直译式电脑编程语言，具有近二十年的发展历史，成熟且稳定。它包含了一组完善而且容易理解的标准库，能够轻松完成很多常见的任务。它的语法简捷和清晰，尽量使用无异义的英语单词，与其它大多数程序设计语言使用大括号不一样，它使用缩进来定义语句块。
互联网运维工作，以服务为中心，以稳定、安全、高效为三个基本点，确保公司的互联网业务能够 7×24 小时为用户提供高质量的服务。
欢迎来到这里！
我们正在构建一个小众社区，大家在这里相互信任，以平等 • 自由 • 奔放的价值观进行分享交流。最终，希望大家能够找到与自己志同道合的伙伴，共同成长。
注册 关于