I apologize in advance if I've asked this before...
Is there a way to import the window layout of the IDE when upgrading to
a new version? I've got a very idiosyncratic setup that takes some
fiddling to reproduce and I'd like to avoid the manual setup every time
there's an upgrade.
Thanks again, fixed it.
Gj
On Wed, Jun 10, 2020 at 4:07 AM Geertjan Wielenga
wrote:
> Thanks, will check it out.
>
> Gj
>
> On Wed, 10 Jun 2020 at 02:13, Scott Palmer wrote:
>
>>
>> On Jun 9, 2020, at 12:41 PM, Geertjan Wielenga
>> wrote:
>>
>> Hi all,
>>
>> 12.0 has been released, many thank
On 6/10/20 7:58 AM, Don wrote:
> I have always felt that, in writing source code, it is more important to
> spell consistently than to spell correctly.
"I don't play accurately -- anyone can play accurately -- but I play
with wonderful expression."
--Algernon Moncrieff, The Importance of Being E
With spelling, it would be nicer if one is consistently correct than just
consistent :-)
On Wednesday, June 10, 2020, 5:28:56 PM GMT+4:30, Don
wrote:
I have always felt that, in writing source code, it is more important to spell
consistently than to spell correctly.
Don
On
I have always felt that, in writing source code, it is more important to
spell consistently than to spell correctly.
Don
On 6/10/20 4:03 AM, HRH wrote:
It would be great to develop spellcheck functionality into the source
window. Often, when composing Javadocs or comments, a word is flagged
d
On Wed, 10 Jun 2020 at 07:27, Thomas Kellerer wrote:
>
> > I.e., why do you want to compile & build with JDK 8 and run with JDK 11?
>
> e.g. because I still need to support Java 8, but also want to test Java 11.
Makes perfect sense to me. eg. I have the IDE sources set up to do
exactly this. I
It would be great to develop spellcheck functionality into the source window.
Often, when composing Javadocs or comments, a word is flagged due to
misspelling and the IDE doesn't offer auto-correct or the correct spelling.
Thanks
This sounds like an easy 'first-issue' for new contributors. I wanted
to quickly create one issue on GitHub but then I saw we have JIRA and
I don't know my login there...
Just commenting that block would be fine I think. The only problem is
make sure the layout doesn't get messed up due to that.