groovy - Remap keys for groovysh when opened in ConEmu -


previous title: groovy shell settings/config file location on windows , example

where can find/create groovysh/groovy shell settings/config file in microsoft windows 7?

groovysh has issue groovy-6453 keys don't work correctly on windows version of groovy. i'd used autohotkey remap keys i've started use conemu , haven't figured out how differentiate tabs far autohotkey.

i'm hoping i'll able remap keys in config file works globally user , not need autohotkey script anymore.

just clarify there nothing wrong conemu specific version of groovysh i'm using.

if set title of cmd window start groovysh title stick , autohotkey can check window title.

in conemu commands input box enter -new_console:t:groovy"cmd.exe /c title groovy&&groovysh" t:groovy sets title tab conemu's viewpoint , cmd.exe /c title groovy sets title cmd's viewpoint. additional &&groovysh starts groovy console. autohotkey sees title 'groovy (admin)'

i use autohotkey 'fix' several of keys mentioned in groovy-6453.

i.e.:

#if (winactive("groovy (admin)") || winactive("administrator: c:\windows\system32\cmd.exe - groovysh")) up::^p down::^n left::^b right::^f home::^a end::^e del::^d #if

Comments

Post a Comment

Popular posts from this blog

javascript - AngularJS custom datepicker directive -

i make custom datepicker directive custom template. but have no idea how start building it... how include date data directive? i appreciate guide or give me advice work on more precisely. it might you! follow below steps html code sample: <label>birth date</label> <input type="text" ng-model="birthdate" date-options="dateoptions" custom-datepicker/> <hr/> <pre>birthdate = {{birthdate}}</pre> <script type="text/ng-template" id="custom-datepicker.html"> <div class="enhanced-datepicker"> <div class="proxied-field-wrap"> <input type="text" ui-date-format="yy-mm-dd" ng-model="ngmodel" ui-date="dateoptions"/> </div> <label> <button class="btn" type="button"><i class="icon-calendar"></i>
Read more

javascript - jQuery date picker - Disable dates after the selection from the first date picker -

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>jquery ui datepicker - default functionality</title> <link rel="stylesheet" href="//code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css"> <script src="//code.jquery.com/jquery-1.10.2.js"></script> <script src="//code.jquery.com/ui/1.11.4/jquery-ui.js"></script> <link rel="stylesheet" href="/resources/demos/style.css"> <script> $(function () { $("#datepicker1").datepicker(); }); </script> <script> $(function () { $("#datepicker2").datepicker(); }); </script> </head> <body> <p>date 1: <input type="text" id="datepicker1"></p> <p>date 2: <input type="t
Read more