IDEs Support (IntelliJ Platform) | JetBrains

Chris Bartley

Total activity 204
Last activity January 18, 2016 00:06
Member since October 16, 2002 15:59
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 86

Created May 20, 2003 05:29

Ben,As you've discovered, the workspaces plugin probably won't help much if you have 15 files in a single workspace. I wrote it to help manage small sets of files, and typically haven't found it u...
- 0 votes
Created May 22, 2003 14:20

There is a Window/Restore Default Layout actionkeymapped to Shift-F12 which by default gets rid ofall tool windows.Not always. Restore Default Layout hides all tool windows only if you've previous...
- 0 votes
Created May 30, 2003 14:14

A related solution is proposed in SCR 3419:http://www.intellij.net/tracker/idea/viewSCR?publicId=3419
- 0 votes
Created June 04, 2003 05:08

I like the look of them too. However, does anyone else feel that the placement of the icons should be reversed for methods having both the "overridden" and "overrides" icons?Currently, the "overri...
- 0 votes
Created June 04, 2003 05:09

er, "...toP-to-bottom thinking". Ooops. :)
- 0 votes
Created July 16, 2003 19:28

I use ProFont at size 9 and absolutely love it. You can get it at:http://www.intellij.org/twiki/bin/view/Main/EditorFontsDisclaimer: You'll have to uncheck "Show only monospaced fonts" to get it t...
- 0 votes
Created July 26, 2003 15:52

And here's BBEdit's:http://www.bbedit.com/images/aqua_find_dialog.gifLooks pretty similar, but adds saving of grep patterns (see SCR #2960), file filter criteria, etc. It may not have a way to ign...
- 0 votes
Created August 13, 2003 20:34

See http://www.intellij.net/tracker/idea/viewSCR?publicId=5124
- 0 votes
Created August 28, 2003 19:48

I like ProFont. It really only looks good at 9 point, but it's the best I've found for coding.Find it at:http://www.intellij.org/twiki/bin/view/Main/EditorFontsFor one guy's arguments why it's suc...
- 0 votes
Created August 28, 2003 23:47

Why not have a toolbar configuration panel so peoplecan put buttons wherever they want them? Then I couldput the run button back where it *&#% belongs!I think the Toolbar Manager plugin can do it f...
- 0 votes