diff src/display-available.h @ 33554:6f33e7ee3c3d default tip

add find widget to experimental terminal widget * command-widget.cc (command_widget): initialize find widget without close button, connect find widget signals to the new slots, add find widget into layout; (notice_settings): call find widget method for updating settings; (console::find_incremental): new slot for incremental search; (console::find): new slot for forward and backward search * command-widget.h: include find-widget.h, new private slots console::find and console::find_incremental, new class variable containing find_widget some find history * find-widget.cc (find_widget): add a clear button to the line edit
author Torsten Lilge <ttl-octave@mailbox.org>
date Thu, 09 May 2024 21:05:52 +0200
parents 2e484f9f1f18
children
line wrap: on
line diff