github-starred/pgadmin3
2
0
Fork 0
mirror of https://github.com/levinsv/pgadmin3.git synced 2026-05-15 14:15:49 -06:00
Code Issues 6 Projects Packages Wiki Activity Actions

A hotkey Ctrl-F1 to JSON options.

Browse source 
Добавлена справка "Ctrl-F1" по командам редактирования настроек JSON.
This commit is contained in:
lsv 2026-02-27 12:08:43 +05:00
parent b1733622e2
commit 90c328085e
3 changed files with 71 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

1
include/utils/misc.h
View file

@ -280,6 +280,7 @@ wxString qtIdent(const wxString &value); // add " if necessary
wxString qtTypeIdent(const wxString &value); // add " if necessary
bool make_identifier(const wxString &strname, wxString &s, wxString &n, bool islower);
void showHelpHtml(wxWindow *parent, const wxString &htmlHelp,wxPoint screenPos, wxSize size);
#endif