No Line Number option under File / Preferences on Arduino IDE for Linux for R.Pi

Hi All...

I want to enable line numbering on the Arduino IDE and I know I used to be able to this when running Arduino on Windows 7, but now I'm running the Arduino IDE on a Raspberry Pi Model 4 w/4GB of RAM. This is an "ARM" version of the Arduino IDE, and it seems to run fine on my machine. The problem is when errors occur, the compiler will tell me what line the error is in, but the editor is not showing me line numbers as most other programming editors do. I understand from reading various articles on this subject that there is supposed to be a "line number" option checkbox under File / Preferences, but when I go there to look, there is no such option.

I also understand there is a configuration file (/home/pi/.arduino/preferences.txt) which could have such a setting, but I did not see an entry for "line number" or anything similarly named. Maybe you know of an entry that would work? Here is a listing of that file:

board=uno
browser=mozilla
browser.linux=mozilla
build.verbose=false
console=true
console.auto_clear=true
console.error.file=stderr.txt
console.length=500
console.lines=4
console.output.file=stdout.txt
editor.antialias=false
editor.caret.blink=true
editor.divider.size=0
editor.divider.size.windows=2
editor.external=false
editor.font=Monospaced,plain,20
editor.font.macosx=Monaco,plain,10
editor.indent=true
editor.invalid=false
editor.keys.alternative_cut_copy_paste=true
editor.keys.alternative_cut_copy_paste.macosx=false
editor.keys.home_and_end_travel_far=false
editor.keys.home_and_end_travel_far.macosx=true
editor.keys.shift_backspace_is_delete=true
editor.languages.current=
editor.tabs.expand=true
editor.tabs.size=2
editor.update_extension=true
editor.window.height.default=600
editor.window.height.min=290
editor.window.width.default=500
editor.window.width.min=400
export.applet.separate_jar_files=false
export.application.fullscreen=false
export.application.platform=true
export.application.platform.linux=true
export.application.platform.macosx=true
export.application.platform.windows=true
export.application.stop=true
export.delete_target_folder=true
last.screen.height=1080
last.screen.width=1920
last.serial.location=0,36,628,480
last.sketch.count=0
last.sketch0.location=180,142,985,913,704
last.sketch0.path=/home/pi/sketchbook/blink2b/blink2b.ino
last.sketch1.location=546,114,1009,600,391
last.sketch1.path=/usr/share/arduino/examples/01.Basics/DigitalReadSerial/Digita
lReadSerial.ino
last.sketch2.location=777,226,1003,600,391
last.sketch2.path=/home/pi/sketchbook/hello_world/hello_world.ino
launcher=xdg-open
platform.auto_file_type_associations=true
preproc.color_datatype=true
preproc.enhanced_casting=true
preproc.imports.list=java.applet.,java.awt.Dimension,java.awt.Frame,java.awt.ev
ent.MouseEvent,java.awt.event.KeyEvent,java.awt.event.FocusEvent,java.awt.Image,
java.io.
,java.net.,java.text.,java.util.,java.util.zip.,java.util.regex.*
preproc.output_parse_tree=false
preproc.save_build_files=false
preproc.substitute_floats=true
preproc.substitute_unicode=true
preproc.web_colors=true
programmer=arduino:avrispmkii
run.display=1
run.options=
run.options.memory=false
run.options.memory.initial=64
run.options.memory.maximum=256
run.present.bgcolor=#666666
run.present.exclusive=false
run.present.exclusive.macosx=true
run.present.stop.color=#cccccc
run.window.bgcolor=#DFDFDF
serial.databits=8
serial.debug_rate=9600
serial.parity=N
serial.port=/dev/ttyACM0
serial.stopbits=1
sketchbook.path=/home/pi/sketchbook
target=arduino
update.check=true
update.id=1350672915111383039
update.last=1591896038787
upload.using=bootloader
upload.verbose=false
upload.verify=true

Please advise.

The standard IDE for RPI from the linux repos is very old.
There are methods available to get the newer ones.

Maybe that is your problem ?
What verion of the IDE do you see ?

Per is great on the Pi issues and this is only one of his threads on the topic that may be of use.