Use Ctrl+Shift+Z as a shortcut for the Redo action in MySQL Workbench for Windows -

-

on windows, redo action in mysql workbench mapped ctrl+y keyboard shortcut (it looks has been since september 2009). use ctrl+shift+z. however, pressing combination prints sub character in current tab, interpret substitute character.

according so answer, should able change in main_menu.xml file. after doing , restarting mysql workbench, new keyboard shortcut correctly appears in edit menu, pressing corresponding keys still echoes sub character.

is there way make ctrl+shift+z work?

edit:

what did was:

  • change shortcut modifier+shift+z in element id="com.mysql.wb.menu.edit.redo"
  • change shortcut other shortcut in element id="com.mysql.wb.menu.database.sync_mysql_script" (which using modifier+shift+z).

you can see more detailed in thomas dickey's answer.

unfortunately, keyboard handling in mysql workbench not centralized. editor control (scintilla) has own keyboard scheme not influenced defined in xml. make lot of sense set hotkey in editor when loading them xml.


Comments

Post a Comment

Popular posts from this blog

Android : Making Listview full screen -

-
<linearlayout xmlns:android="http://schemas.android.com/apk/res/android" xmlns:tools="http://schemas.android.com/tools" android:layout_width="match_parent" android:layout_height="match_parent" android:orientation="vertical" tools:context=".mainactivity"> <edittext android:layout_margintop="5dp" android:layout_width="match_parent" android:layout_height="50dp" android:background="@drawable/location_edittext" android:id="@+id/locationeditext" android:textsize="15sp" android:textcolor="#999" android:paddingleft="15dp" /> <com.example.ravi_gupta.slider.viewpagercustomduration android:layout_width="wrap_content" android:layout_height="0dp" android:id="@+id/viewpager" android:scrollbarstyle="outsideoverlay" android:layout_weight="0.5...
Read more

javascript - Parse JSON from the body of the POST -

-
i'm using cameratag.com record video on website. service can send json response server can save data database. don't know how proceed here: the documentation states please note json repsonse passed in body of post , not form parameters. here example of how parse response in ruby: data = json.parse(request.raw_post) video_uuid = data["uuid"] but don't know how data on javascript. i'm not experienced in js please bare me :) post sample: { "uuid": "00012710-4b65-0131-ffe6-22000a499ea4", "camera_uuid": "98373a20-79ee-0130-3e42-1231390fcc11", "created_at": "2013-12-20t05:25:02.000z", "percent_complete": 100, "short_code": "kktb4q", "metadata": { }, "state": "published", "recorded_from": "http://singwho.com", "publish_type": null, "formats": [ { "name...
Read more

java - Android Studio - Unrecognized VM option 'MaxPermSize=256m' -

-
i installed android studio on elementary os 0.3 freya , run using terminal. on first start-up, however, there's error message shown: gradle 'test' project refresh failed unable start daemon process. problem might caused incorrect configuration of daemon. example, unrecognized jvm option used. please refer user guide chapter on daemon @ http://gradle.org/docs/2.2.1/userguide/gradle_daemon.html please read following process output find out more: unrecognized vm option 'maxpermsize=256m' error: not create java virtual machine. error: fatal exception has occurred. program exit. i read this , tried ways solve no avail. did notice error different mine , thought might why couldn't solve problem using ways suggested. as executed .sh file on terminal, printed: java hotspot(tm) server vm warning: ignoring option maxpermsize=250m; support removed in 8.0 (java:5094): gtk-warning **: unable locate theme engine in module_...
Read more