内容简介:GNOME 3.31.90 已发布,不过官方表示这也是 GNOME 3.32 的首个 Beta 测试版,标志着 GNOME 3.32 已进入特性冻结、UI 冻结和 API 冻结阶段,所以现在是测试 GNOME 最新版本的好时机。 下载地址 https://download.g...
GNOME 3.31.90 已发布,不过官方表示这也是 GNOME 3.32 的首个 Beta 测试版,标志着 GNOME 3.32 已进入特性冻结、UI 冻结和 API 冻结阶段,所以现在是测试 GNOME 最新版本的好时机。
下载地址
https://download.gnome.org/teams/releng/3.31.90/gnome-3.31.90.tar.xz (二进制包)
https://download.gnome.org/core/3.31/3.31.90/sources/ (源码)
使用 C 语言重写 DConf utility
改进 GJS 的 API
GNOME Shell 拥有更好的图标网格性能,以及其他的性能改进
GNOME Weather 已从 Autotools 转移到 Meson
Mutter 通过其 Wayland 后端获得对缓冲区转换的支持,改进了辅助 GPU 的性能,修复了 EGLStreams 问题,通过 OpenGL 改进了 KMS 设备的渲染性能,以及其他功能增强等
更多应用程序放弃了对 App Menu 支持,现在该概念可以认为已被弃用
……
如果一切顺利,RC 版将会在一个月内退出,而 GNOME 3.32.0 将于3月13日发布。
以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网
猜你喜欢:- Windows 改进的安全特性减少了黑客的漏洞攻击
- Windows 改进的安全特性减少了黑客的漏洞攻击
- Kotlin 1.3.30 发布,改进性能和引入新特性
- MySQL8.0 - 新特性 - 安全及权限相关改进 原 荐
- 数据管理平台 Apache Geode 1.6.0 发布,包含特性改进
- HMM得到了新的特性与改进,对Linux 5.1的支持
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
从规范出发的程序设计
[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元
本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!