IDEs Support (IntelliJ Platform) | JetBrains

David Harkness

Total activity 10
Last activity March 07, 2021 21:45
Member since June 25, 2013 17:22
Following 0 users
Followed by 0 users
Votes 4
Subscriptions 2

Created June 25, 2013 17:22

For those who went hunting through all the settings tabs as I did, you can change the font on the popup window itself. Open the window up on an item and click the little gear icon in the top-right ...
- 2 votes
Created September 12, 2018 23:20

Ah yes, I checked, and we're using `route()` as well. You're right that the overhead is probably negligible given that the routes have already been parsed and built. It's just a lookup and paramete...
- 0 votes
Edited September 12, 2018 23:02

Thanks, Andriy. Yes, we use `Route::make(...)` for most links, but the navbar and footer have a lot of simple hard-coded links to various news tag pages, contact us, etc. It seems overkill to name ...
- 0 votes