Home
last modified time | relevance | path

Searched refs:changePrompt (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dinteract.cc98 changePrompt(); in setHandlers()
166 UserLevelRewritingContext::changePrompt() in changePrompt() function in UserLevelRewritingContext
279 changePrompt(); in handleDebug()
314 changePrompt(); in handleDebug()
320 changePrompt(); in handleDebug()
328 changePrompt(); in handleDebug()
H A DuserLevelRewritingContext.hh133 static void changePrompt();
H A DChangeLog7037 added decl for changePrompt()
7039 * interact.cc (changePrompt): added
7040 (handleDebug): call changePrompt()
7041 (setHandlers): call changePrompt(), setContPrompt()
/dports/databases/redisdesktopmanager/RedisDesktopManager-2021.8/src/modules/console/
H A Dconsolemodel.cpp44 emit changePrompt(QString("%1(%2:%3)>") in updatePrompt() local
50 emit changePrompt(QString("%1:%2>") in updatePrompt() local
H A Dconsolemodel.h19 void changePrompt(const QString &text, bool showPrompt);