33 Commits

Author	SHA1	Message	Date
Chrissi2812	2544e40f99	added replace and replaceAll commands	2019-06-03 12:18:59 +02:00
Chrissi2812	3246b84229	fix emojis in search	2019-05-29 14:14:08 +02:00
Chrissi2812	016ea8f86b	use internal variable for commands to determine if search should update ... Prior to this if search was closed (searching: false) the commands won't do anything.	2019-05-29 12:46:36 +02:00
Chrissi2812	a42d0113e0	add clearSearch command	2019-05-29 12:25:50 +02:00
Chrissi2812	d3514c3d36	add option to always update search results	2019-05-29 12:24:46 +02:00
Chrissi2812	0e5aa7f116	add option to disable regex searches	2019-05-29 11:25:26 +02:00
Chrissi2812	0476d35599	fix infinite loop on some RegExp	2019-05-29 11:21:40 +02:00
Chrissi2812	87995cb93c	fix decoration not updating if searching and doc changes	2019-05-29 11:05:18 +02:00
Chrissi2812	f19b5c8f34	add toggleSearch event	2019-05-28 13:52:40 +02:00
Chrissi2812	331ba1c36b	search across marks	2019-05-28 13:52:13 +02:00
Chrissi2812	753fc76324	fix search highlight on doc change	2019-05-28 13:51:37 +02:00
Chrissi2812	fc617a4d32	add text search	2019-05-23 17:53:27 +02:00
Philipp Kühn	80144815a9	pass editor to sendable hook	2019-05-10 15:37:21 +02:00
Philipp Kühn	d0da644b90	remove @babel/plugin-proposal-class-properties	2019-05-06 10:27:40 +02:00
Philipp Kühn	76dca53d80	send only json steps	2019-05-05 21:47:52 +02:00
Philipp Kühn	055d72be26	wording	2019-05-04 12:21:16 +02:00
Philipp Kühn	fc42cba033	remove lodash	2019-05-04 12:20:34 +02:00
Philipp Kühn	0a98827b4c	refactoring	2019-05-04 10:54:53 +02:00
Philipp Kühn	55e5a4a3ae	move collab extension	2019-05-04 00:25:14 +02:00
Philipp Kühn	d411863bbd	Merge pull request #213 from MatheusRich/add-support-to-history-custom-settings ... Add support to history custom settings	2019-03-06 06:50:13 +01:00
Matheus Richard	0b83723a6b	add support to history custom settings	2019-03-04 18:37:18 -03:00
Chrissi2812	0f44e74d1e	fixed placeholder change corrupts current state	2019-02-26 11:42:07 +01:00
Chrissi2812	5b77907211	add update method to placeholder	2019-02-25 16:23:31 +01:00
Philipp Kühn	9b90d6437e	do not show placeholder if non editable	2019-02-06 11:28:40 +01:00
Ivan	00a691ed14	Update Placeholder.js	2018-12-10 15:55:20 +03:00
Ivan	6e78cc90b9	Update Placeholder.js	2018-12-10 15:46:22 +03:00
Philipp Kühn	f04a6be6c1	tabs to spaces whitespace	2018-11-08 22:03:10 +01:00
Philipp Kühn	dcba6686dc	add new commands to all extensions	2018-10-28 21:59:08 +01:00
Philipp Kühn	d2519c2953	add basic new commands	2018-10-28 19:26:14 +01:00
Philipp Kühn	6b03315e59	rename all extensions (drop suffix)	2018-10-24 07:46:47 +02:00
Philipp Kühn	2aa7987c5e	fix placeholder	2018-09-13 23:57:55 +02:00
Philipp Kühn	db61d67156	add placeholder extension	2018-09-06 22:58:54 +02:00
Philipp Kühn	deb8cb33b0	move history plugin to extension package	2018-08-25 21:33:06 +02:00