Never mind. Apparently an empty platform.txt does the trick.
Actually, it's not. I was too hasty to post. It does not
So, back to my earlier question...Does anyone know of a way to reference the platform.txt file in the Arduino IDE directory?
Coming back to the IDE 1.5, I noticed that the Boards menu has the same bug of the Sketchs menu: if you have a lot of entries in it, simpli it doesn't scroll up and down, showing only the first entries.
I have a loto of boards because I use the Tiny core...
For the Tiny Core, I'll be breaking the menu in two. The first level will be the processor, the second level will be Processor Speed. Unfortunately, there's no way to further divide the menu or I would. That cuts the "top" entries to just three.
It would be nice if there was an option to "disable" an entry (leave it in boards.txt but not have it included in the menu).
and a mod for the IDE to be able to work with 644/1284 MCUs.
I suspect that too is fairly easy to break apart.
Plus the boards that come originally.
Bear in mind that you can edit boards.txt and remove unused entries (it's the first thing I do with the boards.txt that comes with the Arduino IDE).
So, I have a lot of entries that goes over the bottom border of the screen. Is only me (Linux box) or someone else has the same problem?