320 Commits

Author	SHA1	Message	Date
Bartosz Taudul	02cf838ceb	Update manual.	2020-03-29 14:12:59 +02:00
Bartosz Taudul	c23f4b2390	Update manual.	2020-03-28 14:42:47 +01:00
Bartosz Taudul	9837e06816	Implement cross-symbol jumping.	2020-03-28 14:27:29 +01:00
Bartosz Taudul	078109eca2	Update manual.	2020-03-28 01:36:51 +01:00
Bartosz Taudul	4b78559228	Update manual.	2020-03-27 18:02:05 +01:00
Bartosz Taudul	27be025805	Update manual.	2020-03-27 02:07:54 +01:00
Bartosz Taudul	2a54f2df5d	Reverse the fileselector compile option.	2020-03-26 23:11:26 +01:00
Bartosz Taudul	d495431f24	Reverse the root window compile option.	2020-03-26 23:08:29 +01:00
Bartosz Taudul	58bb5d40c5	Remove support for non-extended font builds.	2020-03-26 23:04:44 +01:00
Bartosz Taudul	5ec1bd0f5e	Update manual.	2020-03-26 22:49:46 +01:00
Bartosz Taudul	ef96ecd9b8	Use shorter descriptions.	2020-03-26 22:09:56 +01:00
Bartosz Taudul	6d5bccdd51	Update manual.	2020-03-26 00:18:38 +01:00
Bartosz Taudul	5a3dedea97	Update manual.	2020-03-25 20:59:59 +01:00
Bartosz Taudul	954c43912d	Update manual.	2020-03-25 02:18:17 +01:00
Bartosz Taudul	1c23d7e67a	Update manual.	2020-03-23 02:31:06 +01:00
Bartosz Taudul	9672dba765	Replace source file viewer with one that actually works. ... This is much simpler, custom implementation of a text file viewer. It is able to perform these two tasks as intended: - center source view on the selected line, - highlight that line.	2020-03-22 20:53:59 +01:00
Bartosz Taudul	57e14c9e5c	Update NEWS.	2020-03-22 18:57:43 +01:00
Bartosz Taudul	59e859e59a	Remove benaphore, use std::mutex on cygwin.	2020-03-19 02:06:54 +01:00
Bartosz Taudul	fe32385a12	Update manual.	2020-03-19 02:06:54 +01:00
Bartosz Taudul	e785a57c65	Add high-quality frame image capture description.	2020-03-14 21:10:33 +01:00
Bartosz Taudul	42ccf332b9	Update manual.	2020-03-14 02:13:03 +01:00
Bartosz Taudul	5046664b8b	Use "self time" consistently in the UI.	2020-03-14 01:38:46 +01:00
Bartosz Taudul	52132b9a29	Update manual.	2020-03-08 16:20:08 +01:00
Bartosz Taudul	2671245d41	Update manual.	2020-03-08 15:29:45 +01:00
Bartosz Taudul	6c95ab4d1e	Update manual.	2020-03-08 14:05:57 +01:00
Bartosz Taudul	8f9ba5d54a	Rearrange UI.	2020-03-01 01:32:31 +01:00
Bartosz Taudul	452d571e79	Update manual.	2020-02-29 19:19:12 +01:00
Bartosz Taudul	aed91a4d09	Update manual.	2020-02-29 14:55:14 +01:00
Bartosz Taudul	7e4088ed61	Update manual.	2020-02-29 00:58:59 +01:00
Bartosz Taudul	71a11554cb	Update manual.	2020-02-27 23:11:52 +01:00
Bartosz Taudul	a35795f793	Use more appropriate name.	2020-02-26 23:02:34 +01:00
Bartosz Taudul	d04e8ab1d0	Update manual.	2020-02-26 22:48:18 +01:00
Bartosz Taudul	4f052a6b9c	Update manual.	2020-02-26 19:16:27 +01:00
Bartosz Taudul	74aa3f861e	Update manual.	2020-02-26 01:29:14 +01:00
Bartosz Taudul	d60641cac4	Update manual.	2020-02-24 01:43:15 +01:00
Bartosz Taudul	462cfe2fc1	Update manual.	2020-02-23 16:10:24 +01:00
Bartosz Taudul	a650717c1d	Update manual.	2020-02-22 23:17:40 +01:00
Bartosz Taudul	100afe304e	Fix typo.	2020-02-20 23:11:13 +01:00
Bartosz Taudul	3bd5da9896	Update manual.	2020-02-19 23:51:01 +01:00
Bartosz Taudul	9b1fe23b03	Update manual.	2020-02-15 13:50:05 +01:00
Bartosz Taudul	e524f4a050	Update manual.	2020-02-08 19:24:16 +01:00
Bartosz Taudul	aaa163a140	Update manual.	2020-02-08 13:45:02 +01:00
Bartosz Taudul	8b0da6f508	Update manual.	2020-02-02 15:47:17 +01:00
Bartosz Taudul	212b497f1f	Update manual.	2020-01-28 21:52:54 +01:00
Bartosz Taudul	3ffbb56fa0	Update manual.	2020-01-25 17:16:08 +01:00
Bartosz Taudul	ae5c446652	Update manual.	2020-01-25 16:36:58 +01:00
Bartosz Taudul	cf07e2564d	Update manual.	2020-01-23 22:09:18 +01:00
Bartosz Taudul	f3d2ca29dd	Update manual.	2019-12-30 12:57:44 +01:00
Bartosz Taudul	086c9ce4c8	Update manual.	2019-12-28 17:43:20 +01:00
Bartosz Taudul	02e3f45ed2	Update manual.	2019-12-18 13:39:12 +01:00