forked from extern/Unexpected-Keyboard
8a6dc34b2c
Co-authored-by: Anastazius Kaejatidarjan <zdarian@asu.edu>
269 lines
7.6 KiB
Java
269 lines
7.6 KiB
Java
package juloo.keyboard2.prefs;
|
|
|
|
import android.content.Context;
|
|
import android.content.SharedPreferences;
|
|
import android.content.res.Resources;
|
|
import android.preference.CheckBoxPreference;
|
|
import android.preference.PreferenceCategory;
|
|
import android.util.AttributeSet;
|
|
import android.view.View;
|
|
import android.widget.TextView;
|
|
import java.util.HashMap;
|
|
import java.util.Map;
|
|
import java.util.Set;
|
|
import juloo.keyboard2.*;
|
|
|
|
/** This class implements the "extra keys" preference but also defines the
|
|
possible extra keys. */
|
|
public class ExtraKeysPreference extends PreferenceCategory
|
|
{
|
|
/** Array of the keys that can be selected. */
|
|
public static String[] extra_keys = new String[]
|
|
{
|
|
"alt",
|
|
"meta",
|
|
"compose",
|
|
"voice_typing",
|
|
"switch_clipboard",
|
|
"accent_aigu",
|
|
"accent_grave",
|
|
"accent_double_aigu",
|
|
"accent_dot_above",
|
|
"accent_circonflexe",
|
|
"accent_tilde",
|
|
"accent_cedille",
|
|
"accent_trema",
|
|
"accent_ring",
|
|
"accent_caron",
|
|
"accent_macron",
|
|
"accent_ogonek",
|
|
"accent_breve",
|
|
"accent_slash",
|
|
"accent_bar",
|
|
"accent_dot_below",
|
|
"accent_hook_above",
|
|
"accent_horn",
|
|
"€",
|
|
"ß",
|
|
"£",
|
|
"§",
|
|
"†",
|
|
"ª",
|
|
"º",
|
|
"tab",
|
|
"esc",
|
|
"page_up",
|
|
"page_down",
|
|
"home",
|
|
"end",
|
|
"switch_greekmath",
|
|
"change_method",
|
|
"capslock",
|
|
"copy",
|
|
"paste",
|
|
"cut",
|
|
"selectAll",
|
|
"shareText",
|
|
"pasteAsPlainText",
|
|
"undo",
|
|
"redo",
|
|
"superscript",
|
|
"subscript",
|
|
"f11_placeholder",
|
|
"f12_placeholder",
|
|
"menu",
|
|
"combining_dot_above",
|
|
"combining_double_aigu",
|
|
"combining_slash",
|
|
"combining_arrow_right",
|
|
"combining_breve",
|
|
"combining_bar",
|
|
"combining_aigu",
|
|
"combining_caron",
|
|
"combining_cedille",
|
|
"combining_circonflexe",
|
|
"combining_grave",
|
|
"combining_macron",
|
|
"combining_ring",
|
|
"combining_tilde",
|
|
"combining_trema",
|
|
"combining_ogonek",
|
|
"combining_dot_below",
|
|
"combining_horn",
|
|
"combining_hook_above"
|
|
};
|
|
|
|
/** Whether an extra key is enabled by default. */
|
|
public static boolean default_checked(String name)
|
|
{
|
|
switch (name)
|
|
{
|
|
case "voice_typing":
|
|
case "change_method":
|
|
case "switch_clipboard":
|
|
case "compose":
|
|
case "tab":
|
|
case "esc":
|
|
case "f11_placeholder":
|
|
case "f12_placeholder":
|
|
return true;
|
|
default:
|
|
return false;
|
|
}
|
|
}
|
|
|
|
/** Text that describe a key. Might be null. */
|
|
static String key_description(Resources res, String name)
|
|
{
|
|
int id = 0;
|
|
switch (name)
|
|
{
|
|
case "capslock": id = R.string.key_descr_capslock; break;
|
|
case "change_method": id = R.string.key_descr_change_method; break;
|
|
case "compose": id = R.string.key_descr_compose; break;
|
|
case "copy": id = R.string.key_descr_copy; break;
|
|
case "cut": id = R.string.key_descr_cut; break;
|
|
case "end": id = R.string.key_descr_end; break;
|
|
case "home": id = R.string.key_descr_home; break;
|
|
case "page_down": id = R.string.key_descr_page_down; break;
|
|
case "page_up": id = R.string.key_descr_page_up; break;
|
|
case "paste": id = R.string.key_descr_paste; break;
|
|
case "pasteAsPlainText": id = R.string.key_descr_pasteAsPlainText; break;
|
|
case "redo": id = R.string.key_descr_redo; break;
|
|
case "selectAll": id = R.string.key_descr_selectAll; break;
|
|
case "shareText": id = R.string.key_descr_shareText; break;
|
|
case "subscript": id = R.string.key_descr_subscript; break;
|
|
case "superscript": id = R.string.key_descr_superscript; break;
|
|
case "switch_greekmath": id = R.string.key_descr_switch_greekmath; break;
|
|
case "undo": id = R.string.key_descr_undo; break;
|
|
case "voice_typing": id = R.string.key_descr_voice_typing; break;
|
|
case "ª": id = R.string.key_descr_ª; break;
|
|
case "º": id = R.string.key_descr_º; break;
|
|
case "switch_clipboard": id = R.string.key_descr_clipboard; break;
|
|
|
|
case "combining_dot_above":
|
|
case "combining_double_aigu":
|
|
case "combining_slash":
|
|
case "combining_arrow_right":
|
|
case "combining_breve":
|
|
case "combining_bar":
|
|
case "combining_aigu":
|
|
case "combining_caron":
|
|
case "combining_cedille":
|
|
case "combining_circonflexe":
|
|
case "combining_grave":
|
|
case "combining_macron":
|
|
case "combining_ring":
|
|
case "combining_tilde":
|
|
case "combining_trema":
|
|
case "combining_ogonek":
|
|
case "combining_dot_below":
|
|
case "combining_horn":
|
|
case "combining_hook_above": id = R.string.key_descr_combining; break;
|
|
}
|
|
if (id == 0)
|
|
return null;
|
|
return res.getString(id);
|
|
}
|
|
|
|
static String key_title(String key_name, KeyValue kv)
|
|
{
|
|
switch (key_name)
|
|
{
|
|
case "f11_placeholder": return "F11";
|
|
case "f12_placeholder": return "F12";
|
|
}
|
|
return kv.getString();
|
|
}
|
|
|
|
static KeyboardData.PreferredPos key_preferred_pos(String key_name)
|
|
{
|
|
switch (key_name)
|
|
{
|
|
case "f11_placeholder":
|
|
return new KeyboardData.PreferredPos(KeyValue.getKeyByName("9"),
|
|
new KeyboardData.KeyPos[]{
|
|
new KeyboardData.KeyPos(0, 8, 3),
|
|
new KeyboardData.KeyPos(0, 8, 4),
|
|
new KeyboardData.KeyPos(0, -1, 3),
|
|
new KeyboardData.KeyPos(0, -1, 4),
|
|
});
|
|
case "f12_placeholder":
|
|
return new KeyboardData.PreferredPos(KeyValue.getKeyByName("0"),
|
|
new KeyboardData.KeyPos[]{
|
|
new KeyboardData.KeyPos(0, 9, 3),
|
|
new KeyboardData.KeyPos(0, 9, 4),
|
|
new KeyboardData.KeyPos(0, -1, 3),
|
|
new KeyboardData.KeyPos(0, -1, 4),
|
|
});
|
|
}
|
|
return KeyboardData.PreferredPos.DEFAULT;
|
|
}
|
|
|
|
/** Get the set of enabled extra keys. */
|
|
public static Map<KeyValue, KeyboardData.PreferredPos> get_extra_keys(SharedPreferences prefs)
|
|
{
|
|
Map<KeyValue, KeyboardData.PreferredPos> ks =
|
|
new HashMap<KeyValue, KeyboardData.PreferredPos>();
|
|
for (String key_name : extra_keys)
|
|
{
|
|
if (prefs.getBoolean(pref_key_of_key_name(key_name),
|
|
default_checked(key_name)))
|
|
ks.put(KeyValue.getKeyByName(key_name), key_preferred_pos(key_name));
|
|
}
|
|
return ks;
|
|
}
|
|
|
|
boolean _attached = false; /** Whether it has already been attached. */
|
|
|
|
public ExtraKeysPreference(Context context, AttributeSet attrs)
|
|
{
|
|
super(context, attrs);
|
|
setOrderingAsAdded(true);
|
|
}
|
|
|
|
@Override
|
|
protected void onAttachedToActivity()
|
|
{
|
|
if (_attached)
|
|
return;
|
|
_attached = true;
|
|
for (String key_name : extra_keys)
|
|
addPreference(new ExtraKeyCheckBoxPreference(getContext(), key_name,
|
|
default_checked(key_name)));
|
|
}
|
|
|
|
public static String pref_key_of_key_name(String key_name)
|
|
{
|
|
return "extra_key_" + key_name;
|
|
}
|
|
|
|
static class ExtraKeyCheckBoxPreference extends CheckBoxPreference
|
|
{
|
|
boolean _key_font;
|
|
|
|
public ExtraKeyCheckBoxPreference(Context ctx, String key_name,
|
|
boolean default_checked)
|
|
{
|
|
super(ctx);
|
|
KeyValue kv = KeyValue.getKeyByName(key_name);
|
|
String title = key_title(key_name, kv);
|
|
String descr = key_description(ctx.getResources(), key_name);
|
|
if (descr != null)
|
|
title += " (" + descr + ")";
|
|
setKey(pref_key_of_key_name(key_name));
|
|
setDefaultValue(default_checked);
|
|
setTitle(title);
|
|
_key_font = kv.hasFlagsAny(KeyValue.FLAG_KEY_FONT);
|
|
}
|
|
|
|
@Override
|
|
protected void onBindView(View view)
|
|
{
|
|
super.onBindView(view);
|
|
TextView title = (TextView)view.findViewById(android.R.id.title);
|
|
title.setTypeface(_key_font ? Theme.getKeyFont(getContext()) : null);
|
|
}
|
|
}
|
|
}
|