Minor bug in 5.2.4 (memory details) Linux

Discussion created by lpcware Employee on Jun 15, 2016
Content originally posted in LPCWare by Hobbiest on Mon May 20 02:23:44 MST 2013
After having edited the memory details in Properties/C/C++ Build/MCU Settings (e.g. for debugging in RAM) the button 'Restore Defaults' doesn't restore the default memory configuration.

Offtopic: When debugging, the 32 bit timer peripherals should be named TMR32B0 and TMR32B1 in (nearly) accordance with the 16 bit timers (TMR160 and TMR 161), which should be named TMR16B0 and TMR16B1, and not TIMER0 and TIMER1.