1
0
Fork 0
mirror of https://we.phorge.it/source/phorge.git synced 2024-11-30 10:42:41 +01:00
phorge-phorge/webroot/rsrc/externals/javelin/lib
Aviv Eyal 1aa8bc319b Search symbols by ctrl/cmd-click
Summary:
Refs T8302.
V1 of the implementation. This replaces the previous mode, but I guess there's no real reason we can't have
some symbols always clickable and the rest require modifier.

I'm also a little concerned about discoverability; Holding down ctrl/cmd will make the cursor change, so there's
some hint that something might be up, but that's probably not obvious enough.

Test Plan:
Tested in diffusion and differential and differential comments on:
- Windows/Chrome,
- Windows/IE 11
- LInux/Firefox 38
- Mac/Chrome
- Mac/Safari

Reviewers: chad, epriestley, #blessed_reviewers

Reviewed By: epriestley, #blessed_reviewers

Subscribers: Korvin, epriestley, joshuaspence

Maniphest Tasks: T8302

Differential Revision: https://secure.phabricator.com/D13034
2015-05-28 15:33:06 -07:00
..
__tests__ Remove an unused variable 2015-01-20 21:25:40 +11:00
control Time control typeaheads. 2015-05-20 09:51:26 -07:00
behavior.js Remove @group annotations 2014-07-10 08:12:48 +10:00
Cookie.js Fix another undefined variable 2015-01-20 08:55:04 +11:00
DOM.js Search symbols by ctrl/cmd-click 2015-05-28 15:33:06 -07:00
History.js Fix an issue with returning to a the initial page in Quicksand 2015-03-28 07:38:14 -07:00
JSON.js Remove @group annotations 2014-07-10 08:12:48 +10:00
Leader.js Fix an undefined variable 2015-01-23 07:22:39 +11:00
Mask.js Remove @group annotations 2014-07-10 08:12:48 +10:00
Quicksand.js Quicksand and Pholio - make mock edit work 2015-05-07 10:42:07 -07:00
Request.js Fix various lint issues in rJX 2015-01-14 07:59:56 +11:00
Resource.js Fix various lint issues in rJX 2015-01-14 07:59:56 +11:00
Routable.js Provide a global router for Ajax requests 2014-05-05 10:57:42 -07:00
Router.js Provide a global router for Ajax requests 2014-05-05 10:57:42 -07:00
Scrollbar.js Stop using JX.Scrollbar for main page content 2015-05-11 12:02:00 -07:00
Sound.js Add support for playing sounds 2015-03-10 14:20:00 -07:00
URI.js Remove @group annotations 2014-07-10 08:12:48 +10:00
Vector.js Fix anchor-clicking scroll positions 2015-01-28 08:26:10 -08:00
WebSocket.js Namespace Aphlict clients by request path, plus other fixes 2015-02-16 11:31:15 -08:00
Workflow.js Improve Conpherence column textarea JS behaviors 2015-03-14 12:00:17 -07:00