PR# 19519 The shortcut (Default ctrl+h) doesn't open the search/replace box (as by menu yes)

Problem Report Summary

Submitter: phgachoud

Category: EiffelStore

Priority: Low

Date: 2019/02/08

Class: Bug

Severity: Non-critical

Number: 19519

Release: 18.11

Confidential: No

Status: Open

Responsible:

Environment: linux (debian 9 virtual machine) + KDE (plasma)

Synopsis: The shortcut (Default ctrl+h) doesn't open the search/replace box (as by menu yes)

Description

1) The shortcut (Default ctrl+h) doesn't open the search/replace box (as by menu yes) when no class is opened into editor

To Reproduce

open a new project, without opening the text editor hit ctrl+h

Problem Report Interactions